Automatic Verification of Heap Manipulation Using Separation Logic.

Published in: SOFSEM (2009)

Keyphrases

data structure
classical logic
multi valued
proof theory
data sets
relational databases
logic programming
modal logic
suffix tree
multi agent
logical framework
digital circuits
logic synthesis