EasyChair Smart SlideUser guide
Author: Véronique Benzaken

This page shows all presentations of this author published in EasyChair Smart Slide.

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

A Coq Formalisation of SQL’S Execution Engines

A Coq Formalisation of SQL’S Execution Engines

Véronique Benzaken, Evelyne Contejean, Chantal Keller and Eunice Martins

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