Login / Signup
The Relationship Between Separation Logic and Implicit Dynamic Frames
Matthew J. Parkinson
Alexander J. Summers
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
dynamic environments
video frames
dynamically changing
database
computer vision
data structure
logic programming
classical logic