A Language for Attributed Definitions
A Language for Attributed Definitions
(language)(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 <uwe@uni-paderborn.de> et al, LNCS 141, Springer 1982].
["GAG: A Practical Compiler Generator", Uwe Kastens <uwe@uni-paderborn.de> et al, LNCS 141, Springer 1982].