Zobrazeno 1 - 10
of 53
pro vyhledávání: '"[INFO:INFO_PL] Computer Science/Programming Languages"'
Autor:
Fernandes Pires, A.
Lors d'un développement logiciel, et plus particulièrement d'un développement d'applications embarquées avioniques, les activités de vérification représentent un coût élevé. Une des pistes prometteuses pour la réduction de ces coûts est l
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-01073570
http://tel.archives-ouvertes.fr/docs/01/07/35/70/PDF/DTIM14058.1412168244.pdf
http://tel.archives-ouvertes.fr/docs/01/07/35/70/PDF/DTIM14058.1412168244.pdf
Autor:
Dardha, Ornela
Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their correctness, consistency and safety is of paramount importance. Their complexity makes the ve
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-01020998
http://tel.archives-ouvertes.fr/docs/01/02/09/98/PDF/big_main.pdf
http://tel.archives-ouvertes.fr/docs/01/02/09/98/PDF/big_main.pdf
Autor:
Boutillier, Pierre
En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité. L'assistant de preuve Coq s'appu
Autor:
Cretin, Julien
Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau. Bien qu'ils aient des stratégies de réduction et des caractéristiques de système de types différentes, leur preuve de co
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00940511
http://tel.archives-ouvertes.fr/docs/00/94/05/11/PDF/manuscript-final.pdf
http://tel.archives-ouvertes.fr/docs/00/94/05/11/PDF/manuscript-final.pdf
Autor:
Papoulias, Nikolaos
La construction de logiciels pour des appareils qui ne peuvent pas accueillir localement des outils de développement peut être difficile. Ces appareils soit ont une puissance de calcul trop limitée pour exécuter un IDE (par exemple, smartphones),
Autor:
Legaux, Joeffrey
Les architectures parallèles sont désormais présentes dans tous les matériels informatiques, mais les pro- grammeurs ne sont généralement pas formés à leur programmation dans les modèles explicites tels que MPI ou les Pthreads. Il y a un bes
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00990852
http://tel.archives-ouvertes.fr/docs/00/99/08/52/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/99/08/52/PDF/these.pdf
Autor:
Attar, Pejman
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simp
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00920152
http://tel.archives-ouvertes.fr/docs/00/92/01/52/PDF/paper.pdf
http://tel.archives-ouvertes.fr/docs/00/92/01/52/PDF/paper.pdf
Autor:
Munch-Maccagnoni, Guillaume
La thèse contribue à la compréhension de la nature, du rôle et des mécanismes de la polarisation dans les langages de programmation, en théorie de la preuve et dans les modèles catégoriels. La polarisation correspond à l'idée que la conditi
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00918642
http://tel.archives-ouvertes.fr/docs/00/91/86/42/PDF/these-screen-final.pdf
http://tel.archives-ouvertes.fr/docs/00/91/86/42/PDF/these-screen-final.pdf
Autor:
Pasteur, Cédric
Nous nous intéressons dans ce manuscrit au langage ReactiveML, qui est une extension de ML avec des constructions inspirées des langages synchrones. L'idée de ces langages est de diviser l'exécution d'un programme en une suite d'instants logiques
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00934919
http://tel.archives-ouvertes.fr/docs/00/93/49/19/PDF/Pasteur-These.pdf
http://tel.archives-ouvertes.fr/docs/00/93/49/19/PDF/Pasteur-These.pdf
Autor:
Neron, Pierre
Cette thèse présente un algorithme qui élimine les racines carrées et les divi- sions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations perm
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf