Login / Signup

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

Florin CraciunShengchao QinWei-Ngan Chin
Published in: ICFEM (2008)
Keyphrases