Applications

abstraction concrète

Introduction


Introduction aux applications.

CamlEdit : Editeur de texte

CamlEdit est un éditeur de texte pour MSDOS. Il s'agit d'une application aux objectifs essentiellement pédagogiques. Le thème traite de la gestion de l'espace de texte :

CamlCalc : Tableur

CamlCalc est un tableur en mode texte pour MSDOS. Il s'agit d'une application aux objectifs essentiellement pédagogiques. Deux thèmes sont abordés,

Ada2Caml : Conversion Ada vers Caml

Ada2Caml est un traducteur d'une restriction du langage Ada vers des structures Caml équivalentes. L’objectif est essentiellement didactique, et l'exemple, conçu à partir de sous ensembles des 2 langages, ne fait qu’effleurer la complexité des structures de Caml et Ada. Dans ce cadre, il sera très facile de tester les exemples proposés, à chaque étape. Cela permet de suivre les différentes phases de l’analyse du premier langage puis de la synthèse des phrases du second.

dernière modification : 06/12/96