aladin

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

ALADIN

   1. <language> {A Language for Attributed Definitions}.

   2. <tool> An interactive mathematics system for the {IBM 360}.

   ["A Conversational System for Engineering Assistance: ALADIN",
   Y. Siret, Proc Second Symp Symb Algebraic Math, ACM Mar 1971].

   (1995-04-13)