자명 의미론

Axiomatic semantics

자명 의미론컴퓨터 프로그램의 정확성을 증명하기 위한 수학적 논리에 기초한 접근법이다. 그것은 호아레 논리와 밀접한 관련이 있다.

자명적 의미론은 프로그램 상태에 대한 주장에 대한 명령의 영향을 설명함으로써 프로그램에서 명령어의 의미를 정의한다. 주장은 논리적인 진술이다. 변수는 프로그램의 상태를 정의하는 변수를 포함한다.

참고 항목