A Language for Attributed Definitions

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


FOLDOC DictionaryDownload this dictionary
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)


(c) Copyright 1993 by Denis Howe

Define A Language for Attributed Definitions

Translate A Language for Attributed Definitions