Smallfoot: Modular Automatic Assertion Checking with Separation Logic.

Josh Berdine Cristiano Calcagno Peter W. O'Hearn

Published in: FMCO (2005)

Keyphrases

data driven
data sets
logic programming
fully automatic
multi valued
data model
modal logic
classical logic
information retrieval
artificial neural networks