Explore " separation logic" with insightful episodes like "Separation Logic II: recursive predicates" and "Separation Logic 1" from podcasts like ""Iowa Type Theory Commute" and "Iowa Type Theory Commute"" and more!
I discuss separation logic basics some more, as presented in the seminal paper by John C. Reynolds. An important idea is describing data structure using separating conjunction and recursive predicates.
I discuss separation logic, as presented in this seminal paper by the great John C. Reynolds. I did not go very far into the topic, so please expect a follow-up episode.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io