<language> (ALADIN) A language for formal specification of attributed grammars. ALADIN is the input language for the GAG compiler generator. It is applicative and strongly typed. ["GAG: A Practical Compiler Generator", Uwe Kastens [email protected] et al, LNCS 141, Springer 1982]. (1995-04-14)