todo
Notes related to Frame rule
Papers related to Frame rule
- The ramifications of sharing in data structures [hobor:popl:2013]
- Verifying event-driven programs using ramified frame properties [krishnaswami:tldi:2010]
Frame rule
[Google Scholar] [Wikipedia]
Notes:
separation logic