%0 Generic
%T 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
%A Hachmaoui, Mohammed Houssem Eddine
%A université Paris-Saclay
%A Contejean, Evelyne
%A Benzaken, Véronique
%K Formalisation de langages centrés données
%K Sémantique formelle de SQL
%K SQL's formal semantics
%K Certified compilation in Coq
%K Formalisation of data centric languages
%K Compilation certifiée en Coq
%D 2020-10-16
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation