命令式模糊程序语言的语义  

The Semantics of Imperative Fuzzy Programming Language

作　　者：吴恒洋[1,2] 

机构地区：[1]杭州电子科技大学信息工程学院,杭州310018 [2]华东师范大学上海市高可信计算重点实验室,上海200062

出　　处：《计算机学报》2013年第4期862-869,共8页Chinese Journal of Computers

基　　金：上海市高可信计算重点实验室项目(51X14017);浙江省教育厅科研项目(Y201223001)资助~~

摘　　要：文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.This paper focuses on formal semantics of computer languages,and aims at setting up denotational semantics and the weakest（liberal） precondition one of an imperative fuzzy program language.First,in virtue of triangular-norm,triangular-conorm,negation and implication in a fuzzy logic and the composition of fuzzy relations,we succeed in establishing these two semantic models.This approach provides a new angle for researches of formal semantics.Then,we prove some important properties of this language and discuss the relation between the weakest precondition semantics and the weakest liberal one.Finally,we show the duality between denotational semantics and the weakest（liberal） precondition one,which says that they can be induced each other.

关 键 词：模糊程序语言 命令式语言 指称语义 最弱(线性)前置条件语义 模糊逻辑 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]