Mohammed Houssem Hachmaoui

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Industry Standard

Database Language

Top Venues

Proc. ACM Program. Lang.

Publications

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)