A Heap Model for Java Bytecode to Support Separation Logic.

Chenguang Luo Guanhua He Shengchao Qin A Heap Model for Java Bytecode to Support Separation Logic. 127-134 2008 APSEC http://dx.doi.org/10.1109/APSEC.2008.72 conf/apsec/2008 db/conf/apsec/apsec2008.html#LuoHQ08