Search Results - [INFO:INFO_PL] Computer Science/Programming Languages
-
1
Authors: Nguyen, Dong Ha
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, AOP, aspect language, software composition, formal software properties, P2P
-
2
Authors: Gratien, Jean-Marc
Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, DSEL, HPC, GP-GPU, EDP, VF, Generative programming, méthode de bas ordre
-
3
Authors: John, Mathias
Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_BI] Computer Science/Bioinformatics, [SDV:BIBS] Life Sciences/Quantitative Methods, [INFO:INFO_PL] Computer Science/Programming Languages, spatial and stochastic modeling, pi-calculus, computational systems biology
-
4
Authors: Attar, Pejman
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Programming Language, Compiler, Formal semantics, Synchronous Language, Reactive language, orchestration, security, information flow, type system, data-races, agents, GALS model
-
5
Authors: Basten, Bas
Subject Terms: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_PL] Computer Science/Programming Languages, context-free grammars, programming languages, ambiguity detection, static analysis, scannerless
-
6
Authors: Neron, Pierre
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Program Transformation, Real Number arithmetic, Anti-unification, Semantics of Programming Languages, Proof Assistant, Embedded Systems, Quantifier Elimination
-
7
Authors: Conversy, Stéphane
Subject Terms: [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_PL] Computer Science/Programming Languages, Informatics, Controlled Transformations, Human-Computer Interaction, Software Engineering, Programming Languages
-
8
Authors: Dardha, Ornela
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, components, distributed systems, concurrency, π-calculus, session types, encoding, progress, lock-freedom
-
9
Authors: Papoulias, Nikolaos
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Débogage à distance, Reflexion, Miroirs, Interactivité, Instrumentation, Distribution, Sécurité, Développement Agile
-
10
Authors: Legaux, Joeffrey
Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Modèles de haut niveau, squelettes algorithmiques, parallélisme quasi-synchrone, effort de programmation, expressivité, exceptions, distribution des données, homomorphismes
-
11
Authors: Munch-Maccagnoni, Guillaume
Subject Terms: [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Composition non-associative, Polarisation, Adjonctions, Modèle direct, Machine abstraite, Calcul de séquents, Contrôle délimité, CPS
-
12
Authors: Pasteur, Cédric
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Concurrence, Raffinement, Langages synchrones, Langages fonctionnels, Sémantique, Systèmes de types-et-effets, Parallélisme
-
13
Authors: Nzekwa, Russel
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_AR] Computer Science/Hardware Architecture, [INFO:INFO_AR] Informatique/Architectures Matérielles, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, applications autonomes, boucle de contrôle, stabilisation, composant, ingénierie dirigée par les modèles
-
14
Authors: Xu, Zhiwu
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, XML, polymorphisme parametrique, typage, sous-typage semantique, fonctions d'ordre superieur
-
15
Authors: Saha, Suman
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_OS] Computer Science/Operating Systems, [INFO:INFO_OS] Informatique/Système d'exploitation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Code de traitement d'exception, Conception, Recherche de bogue, Fiabilité, Analyse statique, Test et mise au point
-
16
ArCo : une Architecture informatique pour un Compagnon Artificiel en interaction avec un utilisateur
Authors: Jost, Céline
Subject Terms: [INFO:INFO_RB] Computer Science/Robotics, [INFO:INFO_RB] Informatique/Robotique, [INFO:INFO_IU] Computer Science/Ubiquitous Computing, [INFO:INFO_IU] Informatique/Informatique ubiquitaire, [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_HC] Informatique/Interface homme-machine, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, compagnon artificiel, intelligence ambiante, informatique ubiquitaire, langage de programmation, expérimentation, interaction homme-robot
-
17
Authors: Fernandes Pires, A.
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, VERIFICATION, UML, METHODE FORMELLE, INGENIERIE DIRIGEE MODELE
-
18
Authors: Boutillier, Pierre
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Coq (logiciel), Assistants de preuve, Langages de programmation, Sémantique, Induction (logique), filtrage
-
19
Authors: Cretin, Julien
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, coercion, système de types, polymorphisme, eta-expansion
-
20
Authors: Martinez Peck, Mariano
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Mémoire virtuelle, sérialisation, proxies, objets inutilisés, programmation orientée objet
Nájsť tento článok vo Web of Science