Languages

Biblio

Filters: Author is Zhaopeng Li  [Clear All Filters]
2013
Li Z, Zhang Y, Chen Y.  2013.  A shape graph logic and a shape system. Journal of Computer Science and Technology. 28(6)
Zhang Z, Li Z, Chen Y, Liu G.  2013.  An Automatic Program Verifier for PointerC: Design and Implementation. Journal of Computer Research and Development. 50(5)
2011
Li Z, Zhang Y, Chen Y.  2011.  A Method to Generate Verification Condition Generator. Fifth International Conference on Theoretical Aspects of Software Engineering.
2010
Li Z, Zhuang Z, Chen Y, Yang S, Zhang Z, Fan D.  2010.  A Certifying Compiler for Clike Subset of C Language. 4th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'2010). :47-56. Download: zpli_tase2010.pdf (459.9 KB)
Chen Y, Li Z, Wang Z, Hua B.  2010.  A Pointer Logic for Verification of Pointer Programs. Chinese Journal of Software. Vol.21(No.3):124-137. Download: chen09jos.pdf (313.82 KB)
2008
Li Z, Chen Y, Ge L, Hua B.  2008.  A Formal Certifying Framework for Assembly Programs. Chinese Journal of Computer Research and Development. 45:825-833. Download: li08jcrd.pdf (932.37 KB)
Hua B, Chen Y, Li Z, Wang Z, Ge L.  2008.  Design and Proof of a Safe Programming Language {P}ointer{C}. Chinese Journal of Computers. 31:556-564. Download: hua08joc.pdf (432.84 KB)
2007
Chen Y, Ge L, Hua B, Li Z, Liu C.  2007.  Design of a Certifying Compiler Supporting Proof of Program Safety. Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007). :117-126. Download: dccspps.pdf (143.71 KB)
Chen Y, Ge L, Hua B, Li Z, Liu C, Wang Z.  2007.  A Pointer Logic and Certifying Compiler. Frontiers of Computer Science in China. 1:297-312. Download: chen07fcs.pdf (1.53 MB)