Frame rule

[Google Scholar] [Wikipedia]

Notes: separation logic

todo


Concurrent separation logic