- 5
- 3
- 2
Véronique Benzaken
10
Documents
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
|
Translating canonical SQL to imperative code in CoqProceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩
Article dans une revue
hal-03876233v1
|
|
A Coq formalization of data provenanceCertified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩
Communication dans un congrès
hal-03380459v1
|
|
Vers une formalisation en Coq de la provenance de données31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87
Communication dans un congrès
hal-03080066v1
|
|
SQL à l'épreuve de Coq Une sémantique formelle pour SQLJournées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France
Communication dans un congrès
hal-01952023v1
|
|
A Coq Mechanised Formal Semantics for Realistic SQL QueriesCPP 19, ACM, Jan 2019, Cascais, Portugal. pp.249-261, ⟨10.1145/3293880.3294107⟩
Communication dans un congrès
hal-01955433v1
|
|
A Coq formalisation of SQL's execution enginesITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩
Communication dans un congrès
hal-01716048v1
|
|
Certifying Standard and Stratified Datalog Inference Engines in SSReflectInternational Conference on Interective Theorem Proving, 2017, Brasilia, Brazil
Communication dans un congrès
hal-01745566v1
|
A Coq Formalization of the Relational Data ModelESOP - 23rd European Symposium on Programming, Apr 2014, Grenoble, France
Communication dans un congrès
hal-00924156v1
|
|
A Coq mechanised formal semantics for realistic SQL queries * Formally reconciling SQL and bag relational algebra2018
Pré-publication, Document de travail
hal-01830255v2
|
|
SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra2016
Pré-publication, Document de travail
hal-01487062v1
|