Sign in

Program logic and equivalence in the presence of garbage collection.

Cristiano CalcagnoPeter W. O'HearnRichard 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