FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Affeldt, Reynald	Classical Analysis with Coq
B
Benzaken, Véronique	A Coq mechanised formal semantics for real life SQL queries : Formally reconciling SQL and (extended) relational algebra.
Blaauwbroek, Lasse	Proof Construction by Tactic Learning
Boulmé, Sylvain	What is the Foreign Function Interface of the Coq Programming Language?
C
Cohen, Cyril	Classical Analysis with Coq
Contejean, Évelyne	A Coq mechanised formal semantics for real life SQL queries : Formally reconciling SQL and (extended) relational algebra.
Coq Development Team,	Discussion with the Coq development team
G
Gross, Jason	Teaching Your Rooster to Crow in C
Guéneau, Armaël	Procrastination, A proof engineering technique
I
Ikebuchi, Mirai	ComplCoq: Rewrite Hint Construction with Completion Procedures
L
Laurent, Olivier	Preliminary Report on the Yalla Library
M
Mahboubi, Assia	Classical Analysis with Coq
Mangin, Cyprien	Towards a formalization of the guard condition
N
Nakano, Keisuke	ComplCoq: Rewrite Hint Construction with Completion Procedures
R
Rouhling, Damien	Classical Analysis with Coq
S
Sozeau, Matthieu	Towards a formalization of the guard condition
Strub, Pierre-Yves	Classical Analysis with Coq
T
Tatlock, Zachary	Verifying Distributed Systems

Disclaimer | Powered by EasyChair Smart Program