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