Conference: ADSL2018 (First Workshop on Automated Deduction for Separation Logics)

Conference: ADSL2018 (First Workshop on Automated Deduction for Separation Logics)

This page shows all presentations from this conference published in EasyChair Smart Slide.

The Complexity of Prenex Separation Logic with One Selector

The Complexity of Prenex Separation Logic with One Selector

Mnacho Echenim, Radu Iosif and Nicolas Peltier

Automating the Flow Framework

Automating the Flow Framework

Siddharth Krishna, Dennis Shasha and Thomas Wies

Labelled Cyclic Proofs for Separation Logic

Labelled Cyclic Proofs for Separation Logic

Didier Galmiche and Daniel Mery

A Complete Proof System for Basic Symbolic Heaps with Permissions

A Complete Proof System for Basic Symbolic Heaps with Permissions

Stéphane Demri, Etienne Lozes and Denis Lugiez

Presentations in this collection: 4