Separation logic
Hosted By
Mark H. and Rowan D.
Details
Today we continue reading the following paper:
Separation Logic: A Logic for Shared Mutable Data Structures
https://www.cs.cmu.edu/~jcr/seplogic.pdf
Sydney Type Theory
See more events
Commonwealth Bank of Australia
Level 15, 255 Pitt Street · Sydney
Separation logic