Search Results - "[INFO:INFO_PL] Computer Science/Programming Languages"

Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles

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

Availability: http://tel.archives-ouvertes.fr/tel-01073570
http://tel.archives-ouvertes.fr/docs/01/07/35/70/PDF/DTIM14058.1412168244.pdf

Type Systems for Distributed Programs: Components and Sessions

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

Availability: http://tel.archives-ouvertes.fr/tel-01020998
http://tel.archives-ouvertes.fr/docs/01/02/09/98/PDF/big_main.pdf

De nouveaux outils pour calculer avec des inductifs en Coq

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

Availability: http://tel.archives-ouvertes.fr/tel-01054723
http://tel.archives-ouvertes.fr/docs/01/05/47/23/PDF/these_boutillier.pdf
http://tel.archives-ouvertes.fr/docs/01/05/47/23/ANNEX/soutenace_boutillier.pdf

Coercions effaçables : une approche unifiée des systèmes de types

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

Availability: http://tel.archives-ouvertes.fr/tel-00940511
http://tel.archives-ouvertes.fr/docs/00/94/05/11/PDF/manuscript-final.pdf

Le Débogage à Distance et la Réflexion dans les Dispositifs à Ressources Limitées

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

Availability: http://tel.archives-ouvertes.fr/tel-00932796
http://tel.archives-ouvertes.fr/docs/00/93/27/96/PDF/Nikolaos_Papoulias_Remote_Debugging_and_Reflection_in_Resource_Constrained_Devices.pdf

Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles

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

Availability: http://tel.archives-ouvertes.fr/tel-00990852
http://tel.archives-ouvertes.fr/docs/00/99/08/52/PDF/these.pdf

Towards a safe and secure synchronous language

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

Availability: http://tel.archives-ouvertes.fr/tel-00920152
http://tel.archives-ouvertes.fr/docs/00/92/01/52/PDF/paper.pdf

Syntaxe et modèles d'une composition non-associative des programmes et des preuves

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

Availability: http://tel.archives-ouvertes.fr/tel-00918642
http://tel.archives-ouvertes.fr/docs/00/91/86/42/PDF/these-screen-final.pdf

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

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

Availability: http://tel.archives-ouvertes.fr/tel-00934919
http://tel.archives-ouvertes.fr/docs/00/93/49/19/PDF/Pasteur-These.pdf

A Quest for Exactness: Program Transformation for Reliable Real Numbers

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

Availability: http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Construction flexible des boucles de contrôles autonomes pour les applications à large échelle

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

Availability: http://tel.archives-ouvertes.fr/tel-00843874
http://tel.archives-ouvertes.fr/docs/00/84/38/74/PDF/thesis-nzekwa.pdf

Contributions to the science of controlled transformation

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

Availability: http://tel.archives-ouvertes.fr/tel-00853192
http://tel.archives-ouvertes.fr/docs/00/85/31/92/PDF/conversy-hdr-full.pdf

POLYMORPHISME PARAM’TRIQUE POUR LE TRAITEMENT DE DOCUMENTS XML

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

Availability: http://tel.archives-ouvertes.fr/tel-00858744
http://tel.archives-ouvertes.fr/docs/00/85/87/44/PDF/main20130613.pdf

Traitement et programmation temps-réel des signaux musicaux

Authors: Cont, Arshia

Subject Terms: [INFO:INFO_SD] Computer Science/Sound, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_PL] Computer Science/Programming Languages, [SPI:SIGNAL] Engineering Sciences/Signal and Image processing, [INFO:INFO_TS] Computer Science/Signal and Image Processing, Informatique musicale, programmation réactif synchrone, système temps-réel

Availability: http://tel.archives-ouvertes.fr/tel-00829771
http://tel.archives-ouvertes.fr/docs/00/82/97/71/PDF/ArshiaCont_HDR_Scientific4.pdf
http://tel.archives-ouvertes.fr/docs/00/82/97/71/ANNEX/HDR-Soutenance_v1.pdf

A Domain Specific Embedded Language in C++ for lowest-order methods for diffusive problem on general meshes

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

Availability: http://tel.archives-ouvertes.fr/tel-00926232
http://tel.archives-ouvertes.fr/docs/00/92/62/32/PDF/TheseJMG.pdf

Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions

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

Availability: http://tel.archives-ouvertes.fr/tel-00937807
http://tel.archives-ouvertes.fr/docs/00/93/78/07/PDF/Thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/93/78/07/ANNEX/presentation.pdf

Vers des références de première classe comme infrastructure de sécurité dans les langages dynamiquement typés

Authors: Arnaud, Jean-Baptiste

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, sécurité, language dynamiquement typées, conception de langage, réflexion, référence de première classe, la programmation orientée objet

Availability: http://tel.archives-ouvertes.fr/tel-00808419
http://tel.archives-ouvertes.fr/docs/00/80/84/19/PDF/main.pdf

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

Availability: http://tel.archives-ouvertes.fr/tel-00861311
http://tel.archives-ouvertes.fr/docs/00/86/24/87/PDF/jost_thesis.pdf

Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints

Authors: Colombet, Quentin

Subject Terms: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_PL] Computer Science/Programming Languages, Decoupled register allocation, JIT, SSA, Register aliasing, Precoloring, Spilling

Availability: http://tel.archives-ouvertes.fr/tel-00764405
http://tel.archives-ouvertes.fr/docs/00/79/31/08/PDF/COLOMBET_Quentin_2012_These.pdf

Complexité Implicite de Lambda-Calculs Concurrents

Authors: Madet, Antoine

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_LO] Computer Science/Logic in Computer Science, lambda-calcul, concurrence, complexité

Availability: http://tel.archives-ouvertes.fr/tel-00794977
http://tel.archives-ouvertes.fr/docs/00/79/49/77/PDF/thesis.pdf