计算机科学 ›› 2016, Vol. 43 ›› Issue (4): 177-181.doi: 10.11896/j.issn.1002-137X.2016.04.036
吴新星,胡国胜,陈仪香
WU Xin-xing, HU Guo-sheng and CHEN Yi-xiang
摘要： 基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。
| [1] Floyd R W.Assigning Meanings to Programs[C]∥Schwartz J T,ed.Proceedings of Symposium on Applied Mathematics.1967:19-32 [2] Zhou Chao-chen.Introduction to Formal Semantics[M].Changsha:Hunan Science and Technology Press,1985(in Chinese) 周巢尘.形式语义学引论[M].长沙:湖南科学技术出版社,1985 [3] Hoare C A R.An Axiomatic Basis for Computer Programming[J].Communications of The ACM,1969,12(10):576-580,583 [4] Apt K R.Ten Years of Hoare’s Logic:A Survey Part-I[J].ACM Transactions on Programming Languages and Systems,1981,3(4):431-483 [5] Jones C B,Roscoe A W,Wood K R,et al.Reflections on the Work of C.A.R.Hoare[M].Springer-Verlag,2010 [6] Winskel G.The Formal Semantics of Programming Languages:An Introduction[M].MIT Press,1993 [7] Wang Zhi-jian,Fei Yu-kui,Lou Yuan-qing.Software Component Technology and Its Application[M].Beijing:Science Press,2005(in Chinese) 王志坚,费玉奎,娄渊清.软件构件技术及其应用[M].北京:科学出版社,2005 [8] Yan Shi-jian,Wang Jun-xiang,Liu Xiu-ying.A Foundation Cour-se for Probability Theory (Second Edition)[M].Beijing:Science Press,2009(in Chinese) 严士健,王隽骧,刘秀英.概率论基础(第二版)[M].北京:科学出版社,2009 [9] Ding Wan-ding.A Summary Measure Theory[M].Hefei:Anhui People’s Publishing House,2005(in Chinese) 丁万鼎.测度论概要[M].合肥:安徽人民出版社,2005 [10] Yan Jia-an.Measure Theory Handout (Second Edition)[M].Beijing:Science Press,2004(in Chinese) 严加安.测度论讲义(第二版)[M].北京:科学出版社,2004 [11] Chung K L.A Course in Probability Theory (Third Edition)[M].Academic Press,2001 [12] Hailperin T.Probability Logic[J].Notre Dame Journal of Formal Logic,1984,25(3):198-212 [13] Wang Guo-jun,Wang Wei.Logical Metric Spaces[J].Acta Math- ematica Sinica,2001,44(1):159-168(in Chinese) 王国俊,王伟.逻辑度量空间[J].数学学报,2001,44(1):159-168 [14] Wu Xin-xing,Hu Guo-sheng.Trustworthiness Measurements of Real-time Web Services[C]∥2014 International Conference on E-Commerce,E-Business and E-Service (EEE 2014).2014 [15] Wu Xin-xing,Hu Guo-sheng,Chen Yi-xiang.Studies on Meas-urements of Component Approximate Matching[J].Computer Science,2014,41(5):190-195(in Chinese) 吴新星,胡国胜,陈仪香.构件近似匹配的度量研究[J].计算机科学,2014,41(5):190-195 [16] Wu Xin-xing,Hu Guo-sheng,Chen Yi-xiang.Quantification and Conformance of Web Service Degraded Substitution[J].Computer Science,2015,42(2):81-85,4(in Chinese) 吴新星,胡国胜,陈仪香.Web服务降级替换的一致性问题及量化研究[J].计算机科学,2015,42(2):81-85,4 |
| No related articles found! |
|
||
首页