Conference
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
Authors
Craciun F; Qin S; Chin W-N
Editors
Liu S; Maibaum TSE; Araki K
Series
Lecture Notes in Computer Science
Volume
5256
Pagination
pp. 126-146
Publisher
Springer
Publication Date
January 1, 2008
ISBN-13
978-3-540-88193-3
Conference proceedings
ICFEM