Semantics

Ahn9807 (토론 | 기여)님의 2023년 2월 25일 (토) 07:06 판 (새 문서: 분류: 프로그래밍 언어 == 개요 == 시맨틱은 프로그래밍 언어에서 문장이 가지는 의미를 말한다. 시맨틱은 컴퓨터가 특정 프로그램 언어가 실행될 경우 어떤 operation을 수행해야 할 지를 나타낸다. 이는 프로그램의 input과 output을 나타내거나 ISA와 같은 구체적인 행동 방식을 특징짓는다. 시맨틱 분석은 프로그래밍 언어의 정의, 프로그래밍 언어의 증명, type sy...)
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)


개요

시맨틱은 프로그래밍 언어에서 문장이 가지는 의미를 말한다. 시맨틱은 컴퓨터가 특정 프로그램 언어가 실행될 경우 어떤 operation을 수행해야 할 지를 나타낸다. 이는 프로그램의 input과 output을 나타내거나 ISA와 같은 구체적인 행동 방식을 특징짓는다.

시맨틱 분석은 프로그래밍 언어의 정의, 프로그래밍 언어의 증명, type system의 증명, 컴파일러의 Correctness의 증명과 같은 다양한 분야에서 사용된다.

종류

  • Denotational semantics: 수학적인 기호로 나타내는 semantic을 말한다. 즉 프로그램의 의미를 수학적인 함수 형태로 정의한다.
  • Operational semantcis: 컴퓨터의 동작 과정(보통은 추상화된 instruction으로 나타낸다.)을 통해서 나타내는 semantic을 말한다. 즉 프로그램의 의미를 프로그램의 동작 과정을 통해서 정의한다.
  • Axiomatic semantics: Semantic을 정의된 Axiom으로 나타내는 방법을 말한다. Axiom은 논리적인 선언으로 정의된다.