Separation Logic and Program Analysis.

Peter W. O'Hearn

Published in: SAS (2006)

Keyphrases

multi valued
automated reasoning
artificial intelligence
classical logic
proof theory
sound and complete axiomatization
decision trees
similarity measure
bayesian networks
logical framework
asynchronous circuits
delay insensitive