Separation Logic in the Presence of Garbage Collection.

Chung-Kil Hur Derek Dreyer Viktor Vafeiadis

Published in: LICS (2011)

Keyphrases

garbage collection
flash memory
space efficient
memory management
random access
database
databases
low cost
main memory