axiomatic semantics
...,1980 年图灵奖获得者)已经在对一阶谓 词演算扩充了一组公理和一组推导规则的情况下建立起了 公理语义学 ( axiomatic semantics )作 为程序设计语言语义形式化的一种方法,并曾被成功地用来描述Pascal 等语言。但 公理语义学 是不完备的。
基于28个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
形式语义学的一个分支。不同的人在了解程序的含义时有不同的要求。公理语义学方法就是研究如何将这些不同的要求形式化,并根据这些要求严格给出程序设计语言的有关语义。
详细内容
应用推荐
模块上移
模块下移
不移动