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].
(1995-04-14)
Nearby terms:
Alan F. Shugart « A-language « A Language
Encouraging Program Hierarchy « A Language for
Attributed Definitions
» A Language with an Extensible Compiler » Alan Kay
» Alan M. Turing
|