Backwards and Forwards with Separation Logic.

Callum Bannister Peter Höfner Gerwin Klein

Published in: ITP (2018)

Keyphrases

classical logic
logic programming
modal logic
multi valued
proof theory
asynchronous circuits
automated reasoning
sound and complete axiomatization
logic programs
multiscale
defeasible logic
predicate logic
case study
natural deduction
databases
propositional dynamic logic
data sets