Présentation générale et objectifs

Le projet Cristal s'intéresse aux formalismes de typage statique des langages de programmation et étudie les méthodes qui sous-tendent leur conception et l'établissement de leurs propriétés. Nos travaux concernent aussi les modèles d'exécution des programmes et débouchent sur la conception et la mise en oeuvre d'outils de programmation typée robustes et efficaces.

Le typage statique accroît la sécurité de la programmation, la rapidité du développement d'applications et facilite leur maintenance. Les systèmes de types figurent aussi parmi les formalismes principaux de recherche de preuves de programmes où les types sont vus comme des spécifications. Il s'agit là d'autant d'arguments montrant la nécessité d'environnements de programmation typée alliant fiabilité, sécurité et efficacité.

Nos travaux se situent donc au carrefour de la théorie des types, de la conception et la mise en oeuvre de langages de programmation et de la programmation proprement dite.