(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 ORn.de> et al, LNCS 141, Springer 1982]. (1995-04-14)