Opération INTERSEM

L'objectif de l'opération INTERSEM financée par le GRECO de Programmation qui s'est déroulé d'avril 1989 à décembre 1991, était de proposer une alternative intéressante au bien connu ``Synthesizer Generator'' [RT84] développé par T. REPS et T. TEITELBAUM, en réunissant les compétences des équipes de recherches françaises suivantes:

• nous même, avec les grammaires attribuées et FNC-2 ;
• le projet CROAP de G. KAHN avec l'environnement de programmation multi-langgages CENTAUR [BCD88];
• l'équipe de P. FRANCHI-ZANNETTACCI avec le système GIGAS [CLFZ88] à l'ESSI de sophia.

De notre côté, nous avons essentiellement travaillé sur le couplage de FNC-2 \ et CENTAUR , et plus précisément sur l'intégration dans CENTAUR d'évaluateurs d'attributs exhaustifs ou incrémentaux produits par FNC-2 . Mais c'est aussi la base de notre collaboration sur la traduction de TYPOL en GA avec I. ATTALI [Att88], dans le but de proposer une évaluation incrémentale de TYPOL et aussi une meilleur efficacité en espace mémoire. Une présentation du système MINOTAUR, résultat de tout ce travail, se trouve dans [AP94].

Ce travail se décompose en les points suivants:

• traduction d'OLGA en Le_LISP ;
• génération d'évaluateurs incrémentaux;
• évolution de nos propres langage de spécification pour unifier les différentes notions (syntaxe abstraite) entre les deux systèmes;
• travail de formulation en terme de grammaires attribuées de la notion de sous-typage utilisée aussi bien dans les spécifications de syntaxe abstraite METAL qu'en sémantique naturelle (TYPOL ).
• réalisation d'un environnement CENTAUR pour l'utilisation de FNC-2 \ comme outils de démonstration (cf. la section 4.9).

• Le traducteur d'OLGA en Le_LISP
• Évaluation incrémentale dans le cadre FNC-2 et CENTAUR
• La traduction de TYPOL en GA