计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 157-160.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
关键词: 谓词转换器 状态转换器 指称语义
Abstract: The corresponding relation between predicate transformers and state transformers has been studied. We treat the imperative denotations as predicate transformers to specify the denotational semantics of programming language IMP, and predicate transformers
Key words: Predicate transformers, State transformers, Denotational semantics
. 命令的指称语义在谓词域上的一种表示[J]. 计算机科学, 2008, 35(7): 157-160. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I7/157
Cited