Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Advisor "Monnier, Stefan"
Now showing items 1-12 of 12
-
Abitbol : un langage sur mesure pour la métaprogrammation
(2016-03-23)Ce mémoire a pour thèse que les fonctions devraient être transparentes lors de la phase de métaprogrammation. En effet, la métaprogrammation se veut une possibilité pour le programmeur d’étendre le compilateur. Or, dans un style de programmation ... -
Amélioration des messages d'erreurs Typer par algorithme génétique
(2023-09-13)Un défi majeur pour les programmeurs, en particulier pour les novices, est de comprendre les messages d'erreurs émis par le compilateur. Nous nous intéresserons au problème d'affichage de bon message d'erreur de compilation. Dans certains langages, ... -
A Compiler for the dependently typed language Beluga
(2012-10-11)Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ... -
Computation over partial information : a principled approach to accurate partial evaluation
(2022-03-16)On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ... -
Développement d’un serveur LSP pour Typer
(2022-10-26)Programmer en un langage de programmation peut être une tâche ardue. Même les plus chevronnés ne sont pas à l’abri de commettre des erreurs. Il est donc important pour les programmeurs d’avoir des aides pour écrire leur code plus efficacement et plus ... -
Gestion manuelle et sécuritaire de la mémoire en Typer
(2023-05-29)Dans ce mémoire, je présente une technique pour combiner du code de bas niveau à un langage purement fonctionnel avec types dépendants. Par code de bas niveau, je veux dire n’importe quel programme écrit dans un langage qui permet le contrôle direct ... -
Implémentation d'un langage fonctionnel orienté vers la méta programmation
(2017-07-12)Ce mémoire présente l'implémentation d'un nouveau langage de programmation nommé Typer. Typer est un langage fonctionnel orienté vers la méta programmation. Il a été conçu pour augmenter la productivité du programmeur et lui permettre d'écrire des ... -
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
(2011-08-04)La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation et la simulation. Habituellement, des simulateurs sont reliés et synchronisés en employant un bus de co-simulation. Les approches courantes ont beaucoup ... -
A Type-Preserving Compiler from System F to Typed Assembly Language
(2010-01-07)L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de ... -
Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
(2021-10-21)La modularité est un enjeu important en programmation, surtout quand on l’enrichit avec des preuves, comme dans les langages avec des types dépendants. Typer est un tel langage, et afin d’augmenter sa modularité et de lui ajouter un moyen de faire la ...