LARA

This is an old revision of the document!


Semantics of Dynamic Object Allocation