Practical Tactics for Separation Logic.

Andrew McCreight

Published in: TPHOLs (2009)

Keyphrases

case study
logic programming
practical application
predicate logic
data sets
real world
information systems
artificial neural networks
modal logic
multi valued
classical logic
set theory
asynchronous circuits