期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Complete Consistent Stable Fuzzy Predicate Transformers
下载PDF
导出
摘要 谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。 Predicate transformer semantics uses verification technology to specify programming languages. In order to discuss the semantics of programming, the authors present the notion of complete consistent stable fuzzy predicate transformers on the base of stable fuzzy predicate, and discuss the topology semantic of complete consistent stable fuzzy predicate transformers. At the same time, the authors show a relation between the complete consistent stable fuzzy predicate transformers and the state transformers, which means that complete consistent stable fuzzy predicate transformers is a state transformers.
作者 马艳芳 陈仪香
机构地区 华东师范大学软件学院计算理论研究所 上海市高可信计算重点实验室
出处 《模糊系统与数学》 CSCD 北大核心 2009年第6期113-125,共13页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(90718013) 科技部高技术研究发展计划资助项目(2007AA01Z189) 上海市重点学科基金资助项目(B412)
关键词 DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 Domain Theory Semi-topology Stable Fuzzy Predicates Complete Consistent Stable Fuzzy Predicate Transformers
分类号 O159 [理学—基础数学] TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献21

  • 1Scott D S. Outline of a mathematical theory of computation[C]//4th Annual Princeton Conference on Information Science and Systems, 1970 : 169 - 176.
  • 2Scot D S. A type theoretical alternative to ISWIM ,CUCH, OWHY[J]. Theoretical Computer Scienee, 1992,121:411-440.
  • 3Scott D S. Continuous lattices[C]//Lawvere E. Toposes,algebraic geometry and logic,Lecture notes in mathematics. Springer Verlag, 1972 : 274 : 97-136.
  • 4Amadio R M, Curien P L. Domains and lambda-calculi[M]. Cambridge University Press,1998.
  • 5Gierz G,Hofmann K H,Keimel K,Lawson J D,Mislove M,Scott D S. Continuous lattices and domains. Encyclopedia of mathematics and its applications[M]. Cambridge University Press,2003.
  • 6Dijkstra E W. A discipline of programming[M]. Englewood Cliffs:Prentice Hall Imternational,1976.
  • 7Dubois D, Prade H. An alternative approuch to the handling of subnormal possibility distributions -- A critical comment on a proposal of Yager[J]. Fuzzy Sets and Systems,1987,24:123-126.
  • 8Smyth M B. Powerdomains and predicate transformers:a topological view[C]//Diaz J. Automata, languageand programming, volume 154 of lecture notes in computer science. Berlin :Springer Verlag, 1983:662-675.
  • 9Kozen D. Semantics of probabilistic programs[J]. Journal of Computer and System Science, 1981,22 : 328-350.
  • 10Kozen' D. A probabilistic PDL [J ]. Journal of Computer and System Science, 1985,30 : 162- 178.

二级参考文献19

  • 1PLOTKIN G D.Dijkstra's predicate transformers and Smyth's powerdomains[M].In D Bjorner,editor,Abstract Software Specifications,Lecture Notes in Computer Science,1980,86:527-553.
  • 2SMYTH M B.Powerdomains and predicate transformers:a topological view[J].In J Diaz,editor,Automata,Language and Programming,Lecture Notes in Computer Science,1983,154:662-675.
  • 3SCOTT D S.Outline of a mathematical theory of computation[A].In 4th Annual Princeton Conference on Information Systems[C].1970,169-176.
  • 4CHEN Y X.Stable semantics of weakest pre-predicates[J].Journal of Software,2003,14:161 -167.
  • 5KOZEN D.Semantics of probabilistic programs[J].Journal of Computer and System Science,1981:22:328-350.
  • 6KOZEN D.A probabilistic PDL[J].Journal of Computer and System Science,1985,30:162 -178.
  • 7HE J,SEIDEL K,MCIVER A K.Probabilistic models for the guarded command language[J].Science of Computer Programming,1997,28:171-192.
  • 8JONES C.Probabilistic non-determinism[D].PhD thesis,University of Edinburgh,Edinburgh,1990.Also published as Technical report No CST-63 -90.
  • 9MCIVER A K,MORGAN C.Partial correctness for probabilistic demonic programs[J].Theoretical Computer Science,2001,266:513-541.
  • 10MORGAN C,MCIVER A,SEIDEL K.Probabilistie predicate transformers.ACM Trans[J].Programming Languages and Systems,1996,18:325-353.
模糊系统与数学
2009年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部