TY  - RPRT
TI  - Translating Canonical SQL to Imperative Code in Coq
AU  - Véronique Benzaken
AU  - Évelyne Contejean
AU  - Mohammed Houssem Hachmaoui
AU  - Chantal Keller
AU  - Louis Mandel
AU  - Avraham Shinnar
AU  - Jérôme Siméon
PY  - 2022
UR  - https://arxiv.org/abs/2203.08941
ID  - 2203.08941
ER  -