节点文献

程序形式语义的一致性

On the Consistency of Formal Semantics for Programming Languages

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 冯玉琳；

【Author】 Feng Yulin(Department of Computer Science & Technology)

【机构】 中国科学技术大学计算机科学技术系；

【摘要】 本文介紹了程序語言的指称語义、操作語义和关系語义,并论证了它们的逻辑一致性。

【Abstract】 The denotational semantics, operational semantics and relational semantics of programming languages are introduced and two theorems on their functional equivalence are proved. This demonstrates the logical consistency of the three kinds of formal semantics.

【关键词】 形式语义； 逻辑一致性； 文介； 关系语义； 最小不动点； 真假值； 执行状态； 操作语义； 仲萃豪； 逻辑公式；
  • 【文献出处】 中国科学技术大学学报 ,Journal of University of Science and Technology of China , 编辑部邮箱 ,1983年01期
  • 【下载频次】57
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)