Setl

2 definitions found

From Virtual Entity of Relevant Acronyms (Version 1.9, June 2002) [vera]:

  SETL
       SEt Theory Language (New York Uni.), "SetL"
       
       

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



  SETL
       
          SET Language.  A very high level language based on sets,
          designed by Jack Schwartz at the {Courant Institute} in the
          early 1970s.  It was possibly the first use of {list
          comprehension} notation.
       
          Data types include sets (unordered collections), {tuple}s
          (ordered collections) and maps (collections of ordered pairs).
          Expressions may include {quantifier}s ('for each' and
          'exists').  The first {Ada} translator was written in SETL.
       
          See also {ISETL}, {ProSet}, {SETL2}.
       
          ["Programming With Sets - An Introduction to SETL", Jacob
          T. Schwartz et al, Springer 1986].