Separation Logic Seminar
This is an effort to present the basics of separation logic. The format is not set, and will be adjusted according to the wants and needs of the lecturer and the attendees.
Schedule (highly tentative)
| Date | Time | Room | Content | Reading List |
|---|---|---|---|---|
| 10/3 | 10:30 | 1245 | The basics (Hoare triples, separating conjunction etc) | Chapter 1 and parts of chapter 2, no details. |
| 24/3 | 10:30 | 1245 | Soundness and unsoundness of standard derivations in SL | Chapter 2, 3, no details. |
Recommended exercises
For 2nd lecture: Ch 2, Exercise 2, first 7 schemata.
Lecturer
Literature
We will use the excellent lecture notes produced by Professor J. C. Reynolds
at Carnegie Mellon University, found here. Possibly also some papers. Assume any references on this page to be to the aforementioned lecture notes.