자명 의미론
Axiomatic semantics의미론 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
컴퓨팅 | ||||||||
| ||||||||
자명 의미론은 컴퓨터 프로그램의 정확성을 증명하기 위한 수학적 논리에 기초한 접근법이다. 그것은 호아레 논리와 밀접한 관련이 있다.
자명적 의미론은 프로그램 상태에 대한 주장에 대한 명령의 영향을 설명함으로써 프로그램에서 명령어의 의미를 정의한다. 주장은 논리적인 진술이다. 변수는 프로그램의 상태를 정의하는 변수를 포함한다.
참고 항목
- 대수적 의미론(컴퓨터 과학) - 알헤브라의 관점에서
- 변절적 의미론 - 프로그램을 다른 언어로 번역함
- 운영 의미론 - 계산 상태 측면에서
- 프로그래밍 언어의 공식 의미론 - 개요
- 술어 변압기 의미론 — 프로그램 파편의 의미를 프로그램 파편의 확립에 필요한 전제조건으로 사후 조건을 변환하는 함수로 설명한다.
- 어설션(컴퓨팅)