公理语义学 编辑
公理语义学是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言效果。断言是逻辑语句——带变量的谓词，而这些变量定义了程序的状态。
1
相关
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。