SETL


Also found in: Dictionary, Thesaurus, Acronyms, Wikipedia.

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), tuples (ordered collections) and maps (collections of ordered pairs). Expressions may include quantifiers ('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].

SETL

(SET Theory Language) A programming language developed by Jack Schwartz in the early 1970s. It is based on set theory and used for mathematical and telecommunications applications. See ALICE and set theory.
References in periodicals archive ?
SETL said, 'The successful implementation of a blockchain smartcard retail payment system offers the possibility of significantly reducing current high costs for processing retail transactions.
microprogram and hardware support for Gamma can help make SETL an efficient programming tool, etc.
The SemP-Tec also incorporates the SETL as built-in language.
SETL is looking to overhaul the transfer of assets using blockchain and has appointed Sir David Walker, who had chaired Barclays Plc until April this year, as its chairman.
SETL has also enlisted Caroline Silver to raise funds for the company.
SETL was launched in July 2015 to deploy a multi-asset, multi-currency institutional payment and settlements infrastructure based on blockchain technology.
Limited Tenders are invited for SETL Digital Theodolite Model SDJ-02 along with all standard accessories, Tool Kit with case, carrying case, Rain cover and instruction manual .