Automatic Certification of Heap Consumption.

Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska

Browse the full LPAR paper archive.