SETL

Also found in: Acronyms, Wikipedia

0.01 sec.

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.

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].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			seta Setala, Eemil Nestor Setälä, Eemil Nestor Setaria Setariasis setback setback buttress setback force setback line Sete Sète Sete Quedas Setebos Setesdal Setext Seth Seth Carlo Chandler Seth Low Pierrepont State Park Reserve Seth, Andrew Sethur SETI Seti I Setif Sétif setigerous SETL SETL/E SETL2 Seto Seto-naikai setoff Seton Seton Day Seton, Elizabeth Ann Seton, Ernest Thompson Seton, Saint Elizabeth Ann Seton-Watson, Robert William setover SETS setscrew Setsubun sett Settat Sette-Daban Setter Settignano, Desiderio da setting setting angle setting bed setting block setting circle			seths seths SETHSA Sethu Lakshmi Bai Sethur Sethusamudram Shipping Canal Project SETHY SETI SETI SETI SETI at Home Seti I SETI Project SETI Project Setif Sétif setiferous setiform Setiger setigerous setigerous SETII Setim Setim Setiparous SETIQ Setireme SETIS Setit Setjmp/longjmp SETL SETL (programming language) SETL programming language SETL/E SETL2 SETL2 programming language SETLA Setledj Setledj Setlers Setlers Setlers setline SETM SETMAC SETMDM SETMN SETN Setness SETNET Seto Seto inland sea Seto inland sea Seto Kaiba Seto language Seto Marine Biological Laboratory Seto Naikai Seto Nakai Seto Nakai Seto no Hanayome

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.