Translating canonical SQL to imperative code in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. Proceedings of the ACM on Programming Languages, 6(OOPSLA):1-27, 2022. [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 'Mohammed Houssem Hachmaoui' in GoogleThis author has not been identified. Look up 'Chantal Keller' in GoogleThis author has not been identified. Look up 'Louis Mandel' in GoogleThis author has not been identified. Look up 'Avraham Shinnar' in GoogleThis author has not been identified. Look up 'Jérôme Siméon' in Google

runs on WebDSL