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].

Last updated: 1995-04-14

Nearby terms:

A Language for Attributed DefinitionsA Language with an Extensible Compiler

Try this search on Wikipedia, OneLook, Google


Loading