Proset

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  ProSet
       
          A derivative of {SETL} with {Ada}-like {syntax} developed at
          the {University of Essen} in 1990.  Formerly known as SETL/E.
       
          ["SETL/E, A Prototyping System Based on Sets", E.E. Doberkat


          et al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, U
          Karlsruhe, Nov 1990].
       
          ["ProSet - A Language for Prototyping with Sets",
          E.-E. Doberkat et al, in Proc Third Intl Workshop on Rapid
          System Prototyping, N.  Kanopoulos ed, IEEE Comp Soc Press,
          June 1992, pp. 235-248].