A Coq Formalisation of SQL's Execution Engines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Véronique Benzaken, Evelyne Contejean, Ch. Keller, E. Martins. A Coq Formalisation of SQL's Execution Engines. In Jeremy Avigad, Assia Mahboubi, editors, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. Volume 10895 of Lecture Notes in Computer Science, pages 88-107, Springer, 2018. [doi]

This author has not been identified. Look up 'Véronique Benzaken' in GoogleThis author has not been identified. Look up 'Evelyne Contejean' in GoogleThis author has not been identified. Look up 'Ch. Keller' in GoogleThis author has not been identified. Look up 'E. Martins' in Google

runs on WebDSL