Separation Logic II: recursive predicates

Iowa Type Theory Commute
15/09/2022 11 min Temporada 3 Episodio 35
Separation Logic II: recursive predicates

Listen "Separation Logic II: recursive predicates"

Descargar episodio

Episode Synopsis

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.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA