(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)