PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

SETL

SETL

SETL is a pl created in 1969 by Jacob T. Schwartz.

#379on PLDB 53Years Old 191Users
7Books 11Papers

Try now: Riju

SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed by (Jack) Jacob T. Schwartz at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s.. Read more on Wikipedia...


Example from Riju:
print("Hello, world!");
Example from Wikipedia:
procedure factorial(n); -- calculates the factorial n! return if n = 1 then 1 else n * factorial(n - 1) end if; end factorial;

Language features

Feature Supported Example Token
Print() Debugging print
Line Comments
-- A comment
--
Comments
Semantic Indentation ϴ

Books about SETL on goodreads

title author year reviews ratings rating
Programming with Sets: An Introduction to Setl Jacob T. Schwartz 1986 0 2 4.50
Software Prototyping Mit Setl Ernst-Erich Doberkat 1989 0 0 0.0
The Setl Project Master Catalog. a Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at Nyu on the Setl Set-Theoretic Programming Language Robert Abes 0 0 0.0
The Setl Project Master Catalog: A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at New York University on the Setl Set-Theoretic Programming Language (Classic Reprint) Robert Abes 0 0 0.0
Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Classic Reprint) Gerald Weiss 2015 0 0 0.0

Books about SETL from ISBNdb

title authors year publisher
Programming With Sets: An Introduction to Setl J.T. Schwartz and Robert B.K. Dewar 1986 Springer-Verlag
Programming With Sets: An Introduction To Setl (monographs In Computer Science) J.t. Schwartz and R.b.k. Dewar and E. Dubinsky and E. Schonberg 2012 Springer

Publications about SETL from Semantic Scholar

title authors year citations influentialCitations
An Automatic Technique for Selection of Data Representations in SETL Programs E. Schonberg and J. Schwartz and M. Sharir 1981 126 3
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage R. Dewar and Art Grand and Ssu-Cheng Liu and J. Schwartz and E. Schonberg 1979 108 4
Experience with the SETL Optimizer S. Freudenberger and J. Schwartz and M. Sharir 1983 55 1
Automatic data structure selection in SETL E. Schonberg and J. Schwartz and M. Sharir 1979 49 4
Software Prototyping using the SETL Programming Language Philippe B Kruchten and E. Schonberg and Jacob Schwart 1984 42 3
Review of On programming: an interim report on the SETL project, intallment II: the SETL language and examples of its use by J. T. Schwartz. New York University, 1973. Thomas I. M. Ho 1974 33 0
SETL and the Evolution of Programming R. Dewar 2013 14 0
Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach E. Dahlhaus 1987 9 2
The elements of SETL style. R. Dewar and E. Schonberg 1979 8 0
Automatic and semiautomatic optimization of SETL J. Schwartz 1974 6 0
Development of a Programming Environment for Setl V. Donzeau-Gouge and Catherine Dubois and P. Facon and F. Jean 1987 5 0
nsis.html · setl.html · xbasepp.html

View source

PLDB - Build the next great programming language · v2022 · Day 31 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com