Verified Resource Guarantees for Heap Manipulating Programs.

Elvira Albert Richard Bubel Samir Genaim Reiner Hähnle Guillermo Román-Díez

Published in: FASE (2012)

Keyphrases

data structure
resource allocation
web resources
resource management
resource consumption
information systems
automatic programming
computer programs
information technology
resource constraints
multiscale
fixpoint
grid environment
metadata
search engine
control program
prolog programs