Languages

Biblio

Filters: Author is Baojian Hua  [Clear All Filters]
2010
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)
Chen Y, Hua B, Ge L, Wang Z.  2008.  A Pointer Logic for Safety Verification of Pointer Programs. Chinese Journal of Computers. 31:372-380. Download: chen08joc.pdf (419.05 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)