Separation logic and abstraction.

Matthew J. Parkinson Gavin M. Bierman

Published in: POPL (2005)

Keyphrases

logic programming
automated reasoning
bounded model checking
high level
classical logic
modal logic
predicate logic
multi valued
case study
formal theory
low level
database
model checking
probabilistic logic
real world
nonmonotonic logics
multimedia
asynchronous circuits
linear logic
real time