Separation logic

Peter W. O'Hearn
[doi] [Google Scholar] [DBLP] [Citeseer]
Read: 05 February 2020

Communications of the ACM 62(2)
Association for Computing Machinery
New York, NY, USA
Pages 86-95
January 2019
Topic(s): verification
Note(s): separation logic, permission logic, concurrent-separation logic, survey
Papers: reynolds:lics:2002

This survey paper updates Reynolds 2002 survey of Separation Logic with an overview of the developments, applications and extensions in Separation Logic and Concurrent Separation Logic over the last 20 years.

If you want an overview of the development of Separation Logic, this paper is a good one. (If you want more detail of the basics, Reynolds has more worked examples.)

Leveraging Rust types for modular specification and verification [astrauskas:oopsla:2019]
Implicit dynamic frames: Combining dynamic frames and separation logic [smans:ecoop:2009]

Separation logic

Papers related to Separation logic