The Relationship between Separation Logic and Implicit Dynamic Frames.

Matthew J. Parkinson Alexander J. Summers

Published in: ESOP (2011)

Keyphrases

classical logic
real time
data sets
neural network
information retrieval
decision trees
similarity measure
moving objects
hidden markov models
logical framework
computational properties
digital circuits