命令的指称语义在谓词域上的一种表示  

Description to the Denotational Semantics of IMP in Predicates Domain

作　　者：丁志义[1] 李全德[2] 宋国新[1] 邵志清[1] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]宁夏大学数学计算机学院,银川750021

出　　处：《计算机科学》2008年第7期157-160,共4页Computer Science

基　　金：国家自然科学基金资助项目(60373075);教育部科学技术研究重点基金资助项目(01077);中科院计算机科学重点实验室基金资助项目(SYSKF0305);上海市科学技术委员会科研计划项目资助(045115006);宁夏自然科学基金项目(NZ0725)

摘　　要：文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。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 semantics has been demonstrated to agree with state transformers semantics.

关 键 词：谓词转换器 状态转换器 指称语义 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] H146.3[自动化与计算机技术—计算机科学与技术]