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