Implantation et développement de FNC-2

J'ai placé sous cette section un ensemble de travaux autour du développement de FNC-2 effectué par moi-même ou par des stagiaires que j'ai exclusivement encadré.

• Mise en place d'outils de développement partagé
• Évolution des langages de spécification de FNC-2
  • Le langage OLGA et son analyseur
• Le constructeur d'arbres abstraits ATC
• Glaneur de cellules
• Compilation du filtrage d'arbres
• Le générateur de décompilateurs PPAT
• Interface graphique pour FNC-2
• Le traducteur vers Caml
  • Quelques autres utilisations de FNC-2
• Diffusion des résultats et distribution
  • Diffusion de nos résultats à travers le ``WEB''