A heap model for java bytecode to support separation logic

Chenguang Luo, Guanhua He, Shengchao Qin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

89 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings APSEC 2008
PublisherIEEE Computer Society
Pages127-134
Publication statusPublished - 2008

Cite this

Luo, C., He, G., & Qin, S. (2008). A heap model for java bytecode to support separation logic. In Proceedings APSEC 2008 (pp. 127-134). IEEE Computer Society.