Sites Inria

English version

Equipe de recherche CRISTAL

Programmation typée, modularité et compilation

  • Responsable : Xavier Leroy
  • Centre(s) de recherche : CRI de Paris
  • Domaine : Systèmes symboliques
  • Thème : Sécurité et fiabilité du logiciel

Présentation de l'équipe

Le projet Cristal travaille à la conception de langages de programmation et à leur formalisation, avec pour objectif principal d'accroître la robustesse des applications informatiques et la rapidité de leur développement.

La robustesse des applications informatiques et leur rapidité de développement sont accrues par l'utilisation de langages de programmation expressifs et sûrs. Les recherches menées au projet Cristal ont pour objectifs de proposer de tels langages ainsi que d'étudier formellement leurs propriétés. L'équipe développe le langage de programmation Caml : alliant puissance et portabilité, et autorisant les styles de programmation impératif et fonctionnel, le système Caml-Light privilégie l'économie de ressources. Objective Caml ajoute à cela les styles modulaire et orienté-objet, ce qui, associé à un compilateur performant, permet le développement d'applications de grande taille.

Axes de recherche

  • Systèmes de types.
  • Analyses statiques.
  • Fondements de la programmation orientée-objet.
  • Conception et compilation de langages de haut niveau.

Relations industrielles et internationales

Mots-clés : Compilation Compilation séparée Environnement de programmation Génie logiciel Génération de code Lambda-calcul Programmation fonctionnelle Typage

Suivez Inria tout au long de son 50e anniversaire et au-delà !