ALADIN(ID:985/ala003)

Grammar defintiion language 

for A Language for Attributed DefINitions.
A language for formal specification of attributed grammars. Input language for the GAG compiler generator. Applicative, strongly typed.
Related languages
ALADIN => LIDO   Derivation of
References:
  • Kastens, Uwe et al, "GAG: A Practical Compiler Generator", LNCS 141, Springer 1982. view details