Local reasoning about a copying garbage collector.

Noah Torp-Smith Lars Birkedal John C. Reynolds

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases

garbage collection
qualitative reasoning
image processing
formal theory
data sets
spatial reasoning
real time
databases
neural network
data mining
learning algorithm
social networks
digital libraries
relational databases
practical reasoning