-
1
المؤلفون: Aires, João Paulo, Aires, Simone Bello Kaminski, Pereira, Maria João Varanda, Alves, Luís M.
مصطلحات موضوعية: Learning Innovation, ComputingMilieux_COMPUTERSANDEDUCATION, Active Methodologies, Software and its engineering → Imperative languages, Social and professional topics → Computer science education, Teaching Programming
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3799f04ff3e2c89e7dc7094acd8eed21
-
2
المؤلفون: 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