FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
completeness	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk)
Complexity	The Complexity of Prenex Separation Logic with One Selector (PDF, talk) On the Complexity of Pointer Arithmetic in Separation Logic (PDF, talk)
cyclic proof	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
Cyclic proofs	Labelled Cyclic Proofs for Separation Logic (PDF, talk)
D
Decidability	The Complexity of Prenex Separation Logic with One Selector (PDF, talk)
decision procedure	Sloth: Separation Logic and Theories via Small Models (PDF, talk)
E
entailment check	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
I
Inductive predicates	Labelled Cyclic Proofs for Separation Logic (PDF, talk)
L
Lists	The Complexity of Prenex Separation Logic with One Selector (PDF, talk)
M
Magic wand	The Complexity of Prenex Separation Logic with One Selector (PDF, talk)
P
Permissions	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk)
pointer arithmetic	On the Complexity of Pointer Arithmetic in Separation Logic (PDF, talk)
proof search	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
S
separation logic	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk) Sloth: Separation Logic and Theories via Small Models (PDF, talk) The Complexity of Prenex Separation Logic with One Selector (PDF, talk) Labelled Cyclic Proofs for Separation Logic (PDF, talk) Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk) On the Complexity of Pointer Arithmetic in Separation Logic (PDF, talk)
SMT	Sloth: Separation Logic and Theories via Small Models (PDF, talk)
symbolic heap	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
Symbolic heaps	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program