avec CHRISTOPHE ROUDET (DEA) En 1994 , j'ai pu poursuivre notre travail d'intégration de FNC-2 et du système de construction d'environnements de programmation CENTAUR développé par le projet CROAP à l'INRIA--Sophia. En effet, grâce au travail de Christophe ROUDET [Rou94a], encadré par Isabelle ATTALI, j'ai pu valider nos évaluateurs incrémentaux sur une application complète. En effet, il a fallu que je remette à jour dans le générateur d'évaluateur, la version incrémentale que j'avais développé pendant ma thèse (cf. la section 2.6). Le travail de Christophe ROUDET consistait à développer un générateur de décompilateurs d'arbres graphiques, dont le langage d'entrée est un sous-ensemble de PPML et qui utilise comme moteur la boîte graphique FIGUE. Grâce à l'emploi de la technologie GA ( FNC-2 /Lisp et son interface avec CENTAUR ), les décompilateurs produits peuvent fonctionner de manière incrémentale, ce qui améliore le confort de l'utilisateur dans des applications interactives. De plus Christophe Roudet a utilisé la grande souplesse d'utilisation induite par la séparation entre le contrôle sémantique et la méthode de réévaluation (cf. la section 2.6). Enfin il s'est très largement inspiré de notre travail sur PPAT (cf. la section 4.6), enutilisant la même méthode et architecture logicielle.