Source : Free On-Line Dictionary of Computing

A Language for Attributed Definitions
     
         (ALADIN) A language for formal specification of
        {attributed grammar}s.  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)