(language)(ALADIN) A language for formal specification ofattributed grammars. ALADIN is the input language for theGAG compiler generator. It is applicative and strongly typed.
["GAG: A Practical Compiler Generator", Uwe Kastens et al, LNCS 141, Springer 1982].