A Language for Attributed Definitions (ALADIN) A language for formal specification of s. ALADIN is the input language for the compiler generator. It is and . ["GAG: A Practical Compiler Generator", Uwe Kastens et al, LNCS 141, Springer 1982]. (1995-04-14)