Sign in

Smallfoot: Modular Automatic Assertion Checking with Separation Logic.

Josh BerdineCristiano CalcagnoPeter 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