A Heap Model for Java Bytecode to Support Separation Logic.

Chenguang Luo Guanhua He Shengchao Qin

Published in: APSEC (2008)

Keyphrases

databases
data structure
high level
management system