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.