文献类型：期刊文章

作　　者：马艳芳[1,2] 陈仪香[1,2]

机构地区：[1]华东师范大学软件学院计算理论研究所,上海200062 [2]上海市高可信计算重点实验室,上海200062

出　　处：《模糊系统与数学》

基　　金：国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)

年　　份：2009

卷　　号：23

期　　号：6

起止页码：113-125

语　　种：中文

收录情况：BDHX、BDHX2008、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊

摘　　要：谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。

关 键 词：DOMAIN理论 半拓扑 稳定模糊谓词  完全相容稳定模糊谓词转换器  

分 类 号：O159[数学类] TP301]