Program logic and equivalence in the presence of garbage collection.

Cristiano Calcagno Peter W. O'Hearn Richard Bornat

Published in: Theor. Comput. Sci. (2003)

Keyphrases

garbage collection
flash memory
object oriented databases
logic programming
space efficient
memory management
static analysis
object oriented
storage systems
method invocation