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 <[email protected]> et al, LNCS 141, Springer 1982].

< Previous Terms	Terms Containing A Language for Attributed Definitions	Next Terms >
ALADIN ALAM Alan F. Shugart A-language A Language Encouraging Program Hierarchy	ALADIN	A Language with an Extensible Compiler Alan Kay Alan M. Turing Alan Shugart Alan Turing