计算机科学 ›› 2015, Vol. 42 ›› Issue (Z11): 93-99.
吴新星,胡国胜,陈仪香
WU Xin-xing, HU Guo-sheng and CHEN Yi-xiang
摘要： 基于C.A.R.Hoare提出的Hoare逻辑,给出了[α1,α2]1-概率拟Hoare逻辑,并证明了其可靠性。
| [1] Floyd R W.Assigning Meanings to Programs[M]∥Schwartz J T,A M S,eds.Proceedings of Symposium on Applied Mathematics.1967:19-32 [2] 周巢尘.形式语义学引论[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] 王志坚,费玉奎,娄渊清.软件构件技术及其应用[M].北京:科学出版社,2005 [8] 严士健,王隽骧,刘秀英.概率论基础(第二版)[M].北京:科学出版社,2009 [9] 丁万鼎.测度论概要[M].合肥:安徽人民出版社,2005 [10] 严加安.测度论讲义(第二版)[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] 王国俊,王伟.逻辑度量空间[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,5 [15] 吴新星,胡国胜,陈仪香.构件近似匹配的度量研究[J].计算机科学,2014,41(5):190-195 [16] 吴新星,胡国胜,陈仪香.Web服务降级替换的一致性问题及量化研究[J].计算机科学,2015,42(2):81-85,4 [17] 吴新星,李俊燕.系统可信性度量可视化软件v2.0[P].2014,8 |
| No related articles found! |
|
||
首页