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 ?
The process to determine the sets setL and setR of every splitting operation is shown in Algorithm 1.
Programming with Sets, an Introduction to SETL. Springer-Verlag, Berlin.
Software prototyping using the SETL programming language.
This account is certainly the closest lexically to Genesis A: setl and eoel, the two words here used to describe the destination of the elect, have striking counterparts in Genesis A setl (86) and eoelstaoolas (94).(23)
Prior to the Benghazi attack, the Department of State had been reviewing the SETL threat ratings with an eye toward better determining "the ratio between threat and vulnerability at diplomatic facilities overseas." (24) DS increasingly provides security support at greater distances from capital cities and traditional embassy platforms, according to Department of State documents, "often in places and situations where the Security Environment Threat List and the security standards did not foresee today's realities." DS is therefore "developing guidelines whereby diplomatic facilities in contingency zones and other non-traditional platforms can be recognized as 'critical plus,'" which would require innovative security solutions or waivers of existing standards.
1995], which is an extension to the SETL paradigm of computing with sets as aggregates.
The experience can be summarized by classifying the principal constituents of the industrial technology as follows: a basic programming system--if it is crucial to save time and space we use the standard instrumental languages Pascal and C, but in the opposite case, the language should be as high-level as possible; for this component of the technology we have chosen the SETL (see following description):
Global Banking News-February 20, 2018--Citi and Credit Agricole purchase stakes in SETL
Office (GAO), six threat categories inform the SETL: international
M2 EQUITYBITES-February 9, 2012-LSR Group joins Setl City in development project(C)2012 M2 COMMUNICATIONS http://www.m2.com
hi heom wid frid zenamon]; [Hi] winter setl namon on East Englum (an.
The failure and success statements are present in many imperative languages that support automatic backtracking, the most known of them being Icon (see Griswold and Griswold [1983]) and SETL (see Schwartz et al.