< language > (ALADIN) A language for formal specification of attributed grammar s. ALADIN is the input language for the GAG compiler generator. It is applicative and strongly typed .
["GAG: A Practical Compiler Generator", Uwe Kastens uwe@uni-paderborn.de et al, LNCS 141, Springer 1982].
(1995-04-14)