Sign in
On Garbage and Program Logic.
Cristiano Calcagno
Peter W. O'Hearn
Published in:
FoSSaCS (2001)
Keyphrases
</>
classical logic
data sets
computer programs
multi valued
static analysis
functional programs
recursive programs
database
databases
query language
logic programming
automated reasoning
probabilistic logic
computational properties
garbage collection
logical representation