EasyChair Smart SlideUser guide
Conference: Coq Workshop 2018 (Coq Workshop)

This page shows all presentations from this conference published in EasyChair Smart Slide.

What is the Foreign Function Interface of the Coq Programming Language?

What is the Foreign Function Interface of the Coq Programming Language?

Sylvain Boulmé

Classical Analysis with Coq

Classical Analysis with Coq

Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling and Pierre-Yves Strub

Towards a formalization of the guard condition

Towards a formalization of the guard condition

Cyprien Mangin and Matthieu Sozeau

Procrastination, A proof engineering technique

Procrastination, A proof engineering technique

Armaël Guéneau

A Coq mechanised formal semantics for real life SQL queries : Formally reconciling SQL and (extended) relational algebra.

A Coq mechanised formal semantics for real life SQL queries : Formally reconciling SQL and (extended) relational algebra.

Véronique Benzaken and Évelyne Contejean

Preliminary Report on the Yalla Library

Preliminary Report on the Yalla Library

Olivier Laurent

ComplCoq: Rewrite Hint Construction with Completion Procedures

ComplCoq: Rewrite Hint Construction with Completion Procedures

Mirai Ikebuchi and Keisuke Nakano

Verifying Distributed Systems

Verifying Distributed Systems

Zachary Tatlock

Presentations in this collection: 8
Copyright © 2002 – 2026 EasyChair