A Language for Attributed Definitions

Technology Dictionary -> A Language for Attributed Definitions

A Language for Attributed Definitions



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

(1995-04-14)


© Art Branch Inc.

SQL Tutorial