FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Brotherston, James	On the Complexity of Pointer Arithmetic in Separation Logic (PDF, talk)
D
Demri, Stéphane	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk)
E
Echenim, Mnacho	The Complexity of Prenex Separation Logic with One Selector (PDF, talk)
G
Galmiche, Didier	Labelled Cyclic Proofs for Separation Logic (PDF, talk)
I
Iosif, Radu	The Complexity of Prenex Separation Logic with One Selector (PDF, talk)
J
Jovanović, Dejan	Sloth: Separation Logic and Theories via Small Models (PDF, talk)
K
Kanovich, Max	On the Complexity of Pointer Arithmetic in Separation Logic (PDF, talk)
Katelaan, Jens	Sloth: Separation Logic and Theories via Small Models (PDF, talk)
Kimura, Daisuke	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
L
Lozes, Etienne	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk)
Lugiez, Denis	A Complete Proof System for Basic Symbolic Heaps with Permissions (PDF, talk)
M
Mery, Daniel	Labelled Cyclic Proofs for Separation Logic (PDF, talk)
N
Nakazawa, Koji	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
P
Peltier, Nicolas	The Complexity of Prenex Separation Logic with One Selector (PDF, talk)
T
Tatsuta, Makoto	Cyclic Theorem Prover for Separation Logic by Magic Wand (PDF, talk)
W
Weissenbacher, Georg	Sloth: Separation Logic and Theories via Small Models (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program