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

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

Cite this