A Heap Model for Java Bytecode to Support Separation Logic.

Chenguang Luo, Guanhua He, Shengchao Qin

Browse the full APSEC paper archive.