ALADIN -
1. A Language for Attributed DefINitions. A language for formal
specification of attributed grammars. Input language for the GAG compiler
generator. Applicative, strongly typed. "GAG: A Practical Compiler
Generator", Uwe Kastenset al, LNCS 141, Springer
1982.
2. Interactive math for IBM 360. "A Conversational System for
Engineering Assistance: ALADIN", Y. Siret, Proc Second Symp Symb Algebraic
Math, ACM Mar 1971.
Comments, Experience, Additions
Next Language: ALAM