Précédent : Outils syntaxiques Remonter : Actions de recherche Suivant : MMM
Précédent : Outils syntaxiques Remonter : Actions de
recherche Suivant : MMM
Le langage Caml est bien adapté à la programmation d'outils liés au Web, ainsi que comme langage de programmation d'applets. En effet, le système de modules et la sécurité de programmation offerte par le typage statique autorisent le développement d'applications de taille conséquente. Le typage statique ainsi que des techniques de cryptographie garantissent l'innocuité d'applets programmées en Caml.
L'action du projet Cristal dans ce domaine s'est vue renforcée cette année par l'arrivée de Valérie Ménissier-Morain, ingénieur-expert financée par le GIE Dyade.