(ALADIN) A language for formal Specification of attributed grammarS. ALADIN iS the input language for the GAG compiler generator. It iSapplicative and {Strongly typed}. ["GAG: A Practical Compiler Generator", Uwe KaStenS et al, LNCS 141, Springer 1982]. (1995-04-14)