Abstract FR:

L'objectif de la thèse est l'étude de la programmation sans variable et la conception et la mise en œuvre d'un langage sans variable qui soit réellement utilisable. Dans la première partie, un exposé des problèmes de la programmation sans variable est proposé. La deuxième partie propose une solution partielle aux problèmes évoqués dans la partie précédente. Cette solution est le langage JYM, développé comme une première étape vers la solution. Dans la troisième partie, un langage de programmation complet, appelé GRALL, est proposé. Ce langage se présente comme une option nouvelle pour la programmation fonctionnelle. La fonction de graal est un processus de calcul entièrement défini par le langage.