完全相容稳定模糊谓词转换器

摘要：

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

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

所属期刊栏目：23

分类号：O159;TP301(代数、数论、组合理论)

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

在线出版日期：2010-03-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：113-125