Keyword:separation logic

Publications
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint 4877
The Complexity of Prenex Separation Logic with One Selector Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint 433
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions Jens Pagel and Florian Zuleger In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Learning Data Structure Shapes from Memory Graphs Jan H. Boockmann and Gerald Luettgen In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Bunched Hypersequent Calculi for Distributive Substructural Logics Agata Ciabattoni and Revantha Ramanayake In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A simple proof system for lock-free concurrency Luís Caires, Carla Ferreira and António Ravara In:PSPL 2010. International Workshop on Proof Systems for Program Logics
Synthesising Functional Invariants in Separation Logic Ewen Maclean, Andrew Ireland and Gudmund Grov In:WING 2010. Workshop on Invariant Generation 2010