11 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 1 cited
Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui +4
SQL is by far the most widely used and implemented query language. Yet, on some key features, such as correlated queries and NULL value semantics, many implementations diverge or c…
cs.LO2012★ 11 cited
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm…