A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.

Florin Craciun, Shengchao Qin, Wei-Ngan Chin

Browse the full ICFEM paper archive.