C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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