Symbolic heap abstraction with demand-driven axiomatization of memory invariants.

Isil Dillig Thomas Dillig Alex Aiken

Published in: OOPSLA (2010)

Keyphrases

demand driven
high level
data structure
situation calculus
main memory
memory requirements
data streams
affine invariant
memory usage
general theory
load balance
memory size
projective invariants
symbolic representation
moment invariants
quasi invariant