Refining Existential Properties in Separation Logic Analyses.

Matko Botincan Mike Dodds Stephen Magill

Published in: CoRR (2015)

Keyphrases

topological properties
machine learning
learning algorithm
artificial intelligence
search engine
decision trees
data model
expressive power
query answering
modal logic
desirable properties
automated reasoning
formal language