Le premier traducteur-test pour le langage ADA a été développé à l'aide de SYNTAX par Pierre Boullier et d'autres, comme rappelé dans cet historique du langage ADA. On pourra également consulter la publication suivante: Pierre Boullier and Knut Ripken. Building an ADA compiler following meta-compilation methods. In Séminaires Langages et Traducteurs 1978-1981, pages 99-140. INRIA, Rocquencourt, 1981.
inria.fr
vasy.inria.fr
Par exemple par les équipes VASY et CONVECS de l'INRIA, en particulier pour le développement de CADP et de Traian.
convecs.inria.fr
Par exemple par les équipes VASY et CONVECS de l'INRIA, en particulier pour le développement de CADP et de Traian.
cadp.inria.fr
Par exemple par les équipes VASY et CONVECS de l'INRIA, en particulier pour le développement de CADP et de Traian.
atoll.inria.fr
Par exemple dans l'analyseur SxLFG, dont une première version est décrite dans cet article