- 1
- 1
- 1
Véronique Benzaken
3
Documents
Présentation
Publications
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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
|
|
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
|
|
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
|