Implicit dynamic frames

[Google Scholar]

Is a kind of: permission logic
Notes: separation logic

A form of permission logic and an alternative to separation logic.

Permission logic

  • Dynamic frames: Support for framing, dependencies and sharing without restrictions [kassios:fm:2006]
  • Implicit dynamic frames: Combining dynamic frames and separation logic [smans:ecoop:2009]