FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Polishing a Rough Diamond: an Enhanced Separation Logic for Heap Space Under Garbage Collection

Alexandre Moine, Arthur Charguéraud and François Pottier

On the Expressiveness of a Logic of Separated Relations

Radu Iosif and Florian Zuleger
Total: 2 presentations.