The syntax of AS as been specified in Metal and PPML. Its semantics
(type-checker and compiler) is written in Typol. The syntax of the
environment used by the type-checker is specified in AS. It imports a
generic package that implements binary trees in order to get faster
access to the environment. The compiler that produces some code for
the VTP of Centaur uses the Le_Lisp standard definition of Centaur
(LL). The compiler that produces Prolog code uses a definition of a
sub-part of Prolog written in AS itself. A compiler generating
Prolog/MALI (an implementation of 
-Prolog) has also been
written but is no more used.
Thierry Despeyroux