维基百科
公理语义学, 此條目没有列出任何参考或来源, 2020年10月22日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而移除, axiomatic, semantics, 是使用数理逻辑来证明程序正确性, 程序中的命令的意义描述是通过对程序状态的断言, assertion, 效果, 断言是逻辑语句, 带变量的谓词, 而这些变量定义了程序的状态, 的一个实例是霍尔逻辑, 参见, 编辑代数语义学, 英语, algebraic, semantics, comput. 此條目没有列出任何参考或来源 2020年10月22日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而移除 公理语义学 Axiomatic semantics 是使用数理逻辑来证明程序正确性 程序中的命令的意义描述是通过对程序状态的断言 assertion 效果 断言是逻辑语句 带变量的谓词 而这些变量定义了程序的状态 公理语义学的一个实例是霍尔逻辑 参见 编辑代数语义学 英语 Algebraic semantics computer science 指称语义学 操作语义学 形式语义学 谓词变换语义学 英语 Predicate transformer semantics 断言 程式 参考文献 编辑 取自 https zh wikipedia org w index php title 公理语义学 amp oldid 62495485, 维基百科，wiki，书籍，书籍，图书馆，