Précédent : Composition de l'équipe Remonter : Projet CRISTAL Suivant : Actions de recherche

Présentation du projet

Le projet Cristal s'intéresse à différents formalismes de typage statique des langages de programmation et à leur utilisation dans 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 programmation, la rapidité de développement d'applications et facilite leur maintenance. Par ailleurs, les systèmes de types sont aussi parmi les formalismes de base de recherches 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'environnement de programmation typée alliant fiabilité, sécurité et efficacité.

Le typage statique des langages de programmation impose aux programmes de satisfaire un certain nombre de propriétés. L'objectif de nos travaux est de tirer parti de ce fait dans la recherche d'une compilation efficace, dans la conception d'extensions de ces langages et dans la conception d'environnements de programmation typée. Nous nous intéressons aussi aux liens et aux interactions entre systèmes de preuves de programmes et environnements de programmation. 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.

Nos implantations de Caml, un langage fonctionnel typé et puissant de la famille ML, développées au sein de l'équipe, sont utilisées à la fois comme contexte d'étude, comme outils d'implantation et comme banc d'essai des outils que nous développons.

Les directions de recherche suivies durant l'année 1996 ont été la poursuite de l'effort autour du langage Caml, l'exploitation des bonnes propriétés de ce langage (et plus généralement des langages statiquement typés) dans le domaine du Web, et notamment du code mobile, ainsi qu'un certain nombre de travaux plus en amont concernant notamment les systèmes de types.

Cette année 1996 a été marquée par les faits suivants :

• La mise en distribution d'Objective Caml, la première extension orientée-objets de ML supportant l'inférence de types. Cette implantation concrétise les travaux de recherche de Didier Rémy sur le typage des objets, ainsi que ceux de Xavier Leroy sur la compilation et les systèmes de modules.
• La réalisation et la mise en distribution par François Rouaix, en collaboration avec Bernard Lang du projet ATOLL du proxy individuel V6 qui permet à l'utilisateur d'installer des filtres entre son navigateur et les serveurs Web. V6 est programmé en Objective Caml.

Précédent : Composition de l'équipe Suivant : Actions de recherche Remonter : Projet CRISTAL