-
1
المؤلفون: 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 -
2
المؤلفون: 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 -
3
المؤلفون: 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 -
4مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
المؤلفون: 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 -
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.