Podcasts Technology Iowa Type Theory Commute Separation Logic II: recursive predicates

Separation Logic II: recursive predicates

Published: Sept. 16, 2022, 4 a.m.

b'

I discuss separation logic basics some more, as presented in the seminal paper by John C. Reynolds.\\xa0 An important idea is describing data structure using separating conjunction and recursive predicates.

'