A Language for Attributed Definitions

from The Free On-line Dictionary of Computing (8 July 2008)

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

   (1995-04-14)