Logiciels

SYNTAX

Participant : Pierre Boullier

La version 3.8h de SYNTAX est actuellement mise sous FTP pour les plateformes Linux/Pentium, SunOs/Sparc et Solaris/Sparc (voir http://www-rocq.inria.fr/oscar/FNC-2/getfnc2.html ).

DYALOG

Participants : Éric Villemonte de la Clergerie , Ludovic Valter

Le logiciel DYALOG est un compilateur/émulateur de programmes ou grammaires logiques s'appuyant sur l'approche globale (sections et ).

À titre expériemental, il est disponible pour les plateformes SunOS/Sparc et Linux/Pentium (en cours) sous FTP à partir de http://pauillac.inria.fr/~clerger .