Computer Science ›› 2015, Vol. 42 ›› Issue (12): 47-51.
Previous Articles Next Articles
DONG Yu-chen, WANG Han-fei and ZHAO Jian-hua
[1] Hoare C A R.An axiomatic basis for computer programming[J].Communications of the ACM,1969,12(10):576-580 [2] D’silva V,Kroening D,Weissenbacher G.A survey of automated techniques for formal software verification[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2008,27(7):1165-1178 [3] Aho A V.Compilers:Principles,Techniques and Tools[M].Pearson Education India,2003 [4] Z Jian-hua,L Xuan-dong.Scope Logic:An Extension to Hoare Logic for Pointers and Recursive Data Structures[C]∥Theore-tical Aspects of Computing-ICTAC 2013.Springer Berlin Heidelberg,2013:409-426 [5] De Moura L,Bjrner N.Z3:An efficient SMT solver[M]∥Tools and Algorithms for the Construction and Analysis of Systems.Springer Berlin Heidelberg,2008:337-340 [6] Khedker U,Sanyal A,Sathe B.Data flow analysis:theory and practice[M].CRC Press,2009 |
No related articles found! |
|