author = { Hachmaoui, Mohammed Houssem Eddine université Paris-Saclay AND Contejean, Evelyne AND Benzaken, Véronique },

title = { 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 },

keywords = { Formalisation de langages centrés données , Sémantique formelle de SQL , SQL's formal semantics , Certified compilation in Coq , Formalisation of data centric languages , Compilation certifiée en Coq },

year = {2020-10-16},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }