Podcasts Technology Iowa Type Theory Commute Separation Logic 1

Separation Logic 1

Published: July 25, 2022, 3 a.m.

b'

I discuss separation logic, as presented in this seminal paper by the great John C. Reynolds.\\xa0 I did not go very far into the topic, so please expect a follow-up episode.

'