Separation Logic Tutorial.

Peter W. O'Hearn

Published in: ICLP (2008)

Keyphrases

logic programming
automated reasoning
proof theory
real time
databases
modal logic
predicate logic
multi valued
nonmonotonic logics