Automatic Certification of Heap Consumption.

Lennart Beringer Martin Hofmann Alberto Momigliano Olha Shkaravska

Published in: LPAR (2004)

Keyphrases

data structure
semi automatic
information systems
data driven
real time
information retrieval
digital libraries
medical images