FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alglave, Jade	Denotational Event structure for relaxed memory
B
Barany, Gergö	A more precise, more correct stack and register model for CompCert
Benton, Nick	Invited talk: Semantic Equivalence Checking for HHVM Bytecode
C
Castellan, Simon	Denotational Event structure for relaxed memory
Combette, Guillaume	A resource modality for RAII
F
Fiore, Marcelo	Algebraic Theories and Control Effects, Back and Forth
Forster, Yannick	Towards a library of formalised undecidable problems in Coq: The undecidability of intuitionistic linear logic
G
Ghica, Dan R.	A graph-rewriting perspective of the beta-law
L
Larchey-Wendling, Dominique	Towards a library of formalised undecidable problems in Coq: The undecidability of intuitionistic linear logic
Levy, Paul Blain	Heaps denote finitely partitioned trees
M
Madiot, Jean-Marie	Denotational Event structure for relaxed memory
Melliès, Paul-André	Asynchronous games fifteen years later
Munch-Maccagnoni, Guillaume	A resource modality for RAII
Muroya, Koko	A graph-rewriting perspective of the beta-law
T
Talvik, Tõnn	Experimenting with graded monads: certified grading-based program transformations
U
Uustalu, Tarmo	Experimenting with graded monads: certified grading-based program transformations
W
Waugh Ambridge, Todd	A graph-rewriting perspective of the beta-law

Disclaimer | Powered by EasyChair Smart Program