FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program