 |
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].
From Virtual Entity of Relevant Acronyms (Version 1.9, June 2002) [vera]:
SETL SEt Theory Language (New York Uni.), "SetL"
 |
Definitions retrieved from local copies of the freely distributed DICT client/server software and databases. Click here for database copyright information. - KM |