Skip to main content
Department of Information Technology

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.

Updated  2011-03-23 16:19:11 by Jonathan Cederberg.