Thèse de doctorat en Sciences appliquées
Sous la direction de Gérard Lévy.
Soutenue en 1987
à Paris 9 .
La première partie expose les concepts de la théorie de la compilation mise en œuvre : analyse lexicale, analyse syntaxique, contrôles sémantiques. La seconde partie définit les contraintes supplémentaires dues à l'interactivité et les outils nécessaires. La troisième partie décrit le système réalise en Pascal selon les critères exposes précédemment. La dernière partie mentionne les projets appartenant à des domaines voisins.
Pas de résumé disponible.