Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment.

Mnacho Echenim, Radu Iosif, Nicolas Peltier

Browse the full CSL paper archive.