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