Heap-Dependent Expressions in Separation Logic.

Jan Smans Bart Jacobs Frank Piessens

Published in: FMOODS/FORTE (2010)

Keyphrases

data structure
facial expressions
classical logic
multi valued
natural language
logic programming
modal logic
face recognition
predicate logic
decision trees
automated reasoning
logical framework
epistemic logic
asynchronous circuits