Separation Logic: A Logic for Shared Mutable Data Structures.

John C. Reynolds

Published in: LICS (2002)

Keyphrases

data structure
logic programming
classical logic
nonmonotonic logics
asynchronous circuits
real world
knowledge base
modal logic
multi valued
artificial intelligence
search algorithm
expressive power
defeasible logic
set theory
natural deduction
sound and complete axiomatization