Login / Signup

The Relationship Between Separation Logic and Implicit Dynamic Frames

Matthew J. ParkinsonAlexander 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