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