language for the on-line investigation and transformation of abstractions

1 definition found

language for the on-line investigation and transformation of abstractions - Free On-line Dictionary of Computing (26 May 2007) :

  Language for the On-Line Investigation and Transformation of
  Abstractions
  LOLITA
  
     <language> (LOLITA) An extension of the Culler-Fried System
     for symbolic mathematics.
  
     ["An On- line Symbol Manipulation System", F.W. Blackwell, Proc
     ACM 22nd Natl Conf, 1967].
  
     [Sammet 1969, p. 464].
  
     (2003-07-29)