TY - GEN
AU - Hachmaoui, Mohammed Houssem Eddine
AU - université Paris-Saclay
AU - Contejean, Evelyne
AU - Benzaken, Véronique
TI - Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée ; A Coq certified translation from an extension of relational algebra for SQL to a nested algebra
KW - Formalisation de langages centrés données
KW - Sémantique formelle de SQL
KW - SQL's formal semantics
KW - Certified compilation in Coq
KW - Formalisation of data centric languages
KW - Compilation certifiée en Coq
PY - 2020-10-16
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation