Languages specified using Centaur

Below is a list of languages that have been specified with one or more of the Centaur formalisms (Metal, SDF, Typol, ASF). Of course, all the Centaur formalisms mentioned above and, additionally, PPML also have associated Centaur environments.

C, Ada, Pascal, Fortran77/90, Le Lisp, Esterel, Lustre, VDM, LOTOS, ASN1*, EIFFEL*, SISAL, VHDL, ADL, ALPHA, SIGNAL, MANIFOLD, mu-CRL, L, SETL

NB: (*) subsets of the language have been described under Centaur.

A more detailed breakdown

Web page maintained by