Computer Science ›› 2016, Vol. 43 ›› Issue (4): 177-181.doi: 10.11896/j.issn.1002-137X.2016.04.036
Previous Articles Next Articles
WU Xin-xing, HU Guo-sheng and CHEN Yi-xiang
| [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! |
|
||
Home