المؤلفون: Mohammed Houssem Eddine Hachmaoui

المساهمون: Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay, Evelyne Contejean, Véronique Benzaken, ANR-15-CE39-0009,DataCert,Spécification intensive en Coq d'intégration de données orientée sécurité(2015)

المصدر: HAL
Langage de programmation [cs.PL]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG021⟩

مصطلحات موضوعية: SQL's formal semantics, Compilation certifiée en Coq, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Certified compilation in Coq, Sémantique formelle de SQL, Formalisation of data centric languages, Formalisation de langages centrés données

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17fa8416344c51adeb47b66c5e58b7b6
https://tel.archives-ouvertes.fr/tel-03026835