|
|
| Équipes de recherche | Actions coopératives | Collaborations scientifiques internationales | Des nouvelles des chercheurs |
|
| En savoir plus sur le projet : Site du projet Rapport d'activité La médiathèque Rapports de recherche et thèses Thème : Sym Systèmes symboliques Unité de recherche de Rocquencourt |
CRISTAL a été arrêté le 31/07/2005
Il a été remplacé par GALLIUM
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.
