المؤلفون: Lopez, Julien

المساهمون: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université Paris Saclay (COmUE), Véronique Benzaken, STAR, ABES

المصدر: Databases [cs.DB]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLS235⟩

مصطلحات موضوعية: Databases, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Language-integrated queries, Data-centric languages, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Bases de données, Requêtes intégrées au langage, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Langages centrés données

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::729a30070521d56a04a4f9893531c78a
https://tel.archives-ouvertes.fr/tel-02309327/document

المؤلفون: Lopez, Julien

المساهمون: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université Paris Saclay (COmUE), Véronique Benzaken

المصدر: Databases [cs.DB]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLS235⟩

مصطلحات موضوعية: Databases, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Language-integrated queries, Data-centric languages, Bases de données, Requêtes intégrées au langage, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Langages centrés données

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::729a30070521d56a04a4f9893531c78a
https://tel.archives-ouvertes.fr/tel-02309327/document

المؤلفون: Giuseppe Castagna, Laurent Daynès, Véronique Benzaken, Romain Vernoux, Kim Nguyen, Julien Lopez

المساهمون: Vérification d'Algorithmes, Langages et Systèmes (LRI) (VALS - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Oracle Labs, Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

المصدر: WWW (Companion Volume)
WWW 2018-International World Wide Web Conference
WWW 2018-International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩

مصطلحات موضوعية: databases, Database query processing and optimization (theory), Computer science, 02 engineering and technology, computer.software_genre, Data modeling, Func- tional constructs, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, CCS CONCEPTS • Theory of computation → Database query languages (prin- ciples), Intermediate language, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Information retrieval, • Information systems → Query opera- tors, Language-integrated queries, InformationSystems_DATABASEMANAGEMENT, data-centric languages, Variety (cybernetics), • Software and its engineering → Imperative languages, KEYWORDS Language-integrated queries, Compilers, Nesting (computing), 020201 artificial intelligence & image processing, Compiler, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff14c772168fe2900146ed4c418ca639
https://doi.org/10.1145/3184558.3185973

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.