Equipe de recherche CRISTAL

Programmation typée, modularité et compilation

  • Responsable : Xavier Leroy
  • Centre(s) de recherche : Paris - Rocquencourt
  • 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

Siège et centres de recherche Inria

Accès direct

Social