next up previous
Next: Présentation du langage Up: Préambule Previous: Préambule

Le système FNC-2 : présentation générale

Ainsi, l'essentiel de mes travaux a porté sur la réalisation concrète d'un nouveau système de traitement de GA [JPJ90,JP92], nommé FNC-2 et conçu conjointement par Martin JOURDAN et moi-même. Nous voulions intégrer dans FNC-2 les développements les plus récents dans ce domaine sur le plan théorique (voir ci-dessus), mais aussi en faire un outil de qualité, c'est-à-dire qui soit à la fois puissant, efficace et d'utilisation aisée et souple. Au début 1990 un premier prototype a été disponible et pouvait être raisonnablement utilisé: la preuve en est qu'il est ``bootstrappé'' à partir de ce premier prototype. D'après les premiers résultats d'utilisation (cf. la section 4.6 comme première vraie utilisation), nous étions encore plus convaincus que notre système représentait certainement l'une des meilleures solutions (ou compromis) à notre problème de départ. Énonçons donc les qualités principales de ce système FNC-2.





Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997