문서 편집 권한이 없습니다. 다음 이유를 확인해주세요: 요청한 명령은 다음 권한을 가진 사용자에게 제한됩니다: 사용자. 문서의 원본을 보거나 복사할 수 있습니다. [[분류: 프로그래밍 언어]] == 개요 == 시맨틱은 [[프로그래밍 언어]]에서 문장이 가지는 의미를 말한다. 시맨틱은 컴퓨터가 특정 프로그램 언어가 실행될 경우 어떤 operation을 수행해야 할 지를 나타낸다. 이는 프로그램의 input과 output을 나타내거나 ISA와 같은 구체적인 행동 방식을 특징짓는다. 시맨틱 분석은 프로그래밍 언어의 정의, 프로그래밍 언어의 증명, type system의 증명, 컴파일러의 Correctness의 증명과 같은 다양한 분야에서 사용된다. == 종류 == * [[Denotational semantics]]: 수학적인 기호로 나타내는 semantic을 말한다. 즉 프로그램의 의미를 수학적인 함수 형태로 정의한다. * [[Operational semantcis]]: 컴퓨터의 동작 과정(보통은 추상화된 instruction으로 나타낸다.)을 통해서 나타내는 semantic을 말한다. 즉 프로그램의 의미를 프로그램의 동작 과정을 통해서 정의한다. * [[Axiomatic semantics]]: Semantic을 정의된 Axiom으로 나타내는 방법을 말한다. Axiom은 논리적인 선언으로 정의된다. Semantics 문서로 돌아갑니다.