의미론 (컴퓨터 과학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
새 문서: '''의미론''' 또는 '''시맨틱스'''(semantics)는 프로그래밍 언어 이론에서 프로그래밍 언어의 의미에 대한 엄격한 수학적 연구이다.<ref>{{cite book |author-link=Joseph Goguen|first=Joseph A.|last=Goguen |chapter=Semantics of computation |title=Category Theory Applied to Computation and Control |series=Lecture Notes in Computer Science |publisher=Springer |date=1975 |volume=25 |pages=151–163 |doi=10.1007/3-540... 태그: 동음이의 링크 |
(차이 없음)
|
2024년 4월 13일 (토) 11:01 판
의미론 또는 시맨틱스(semantics)는 프로그래밍 언어 이론에서 프로그래밍 언어의 의미에 대한 엄격한 수학적 연구이다.[1] 의미론은 프로그래밍 언어 구문의 유효한 문자열에 컴퓨테이션적 의미를 할당한다. 이는 수학적 증명의 의미론과 밀접하게 관련되어 있으며 종종 교차된다.
의미론은 특정 언어로 프로그램을 실행할 때 컴퓨터가 따르는 프로세스를 설명한다. 이는 프로그램의 입력과 출력 간의 관계를 설명하거나 프로그램이 특정 플랫폼에서 어떻게 실행되는지 설명하여 계산 모델을 생성함으로써 수행될 수 있다.
같이 보기
각주
- ↑ Goguen, Joseph A. (1975). 〈Semantics of computation〉. 《Category Theory Applied to Computation and Control》. Lecture Notes in Computer Science 25. Springer. 151–163쪽. doi:10.1007/3-540-07142-3_75. ISBN 978-3-540-07142-6.
외부 링크
- Aaby, Anthony (2004). 《Introduction to Programming Languages》. 2015년 6월 19일에 원본 문서에서 보존된 문서. Semantics.