Local reasoning about a copying garbage collector.

Lars Birkedal Noah Torp-Smith John C. Reynolds

Published in: POPL (2004)

Keyphrases

spatial reasoning
qualitative reasoning
formal theory
real time
high level
special case
practical reasoning
neural network
real world
machine learning
face recognition
object recognition
lower bound
information technology
relational databases
probability distribution