Fictional Separation Logic.

Jonas Braband Jensen Lars Birkedal

Published in: ESOP (2012)

Keyphrases

logic programming
database systems
proof theory
propositional dynamic logic
real time
case study
modal logic
multi valued
classical logic
formal theory
knowledge base
game play
probabilistic logic
digital circuits