-
-
Notifications
You must be signed in to change notification settings - Fork 84
/
setl.scroll
72 lines (61 loc) · 4.71 KB
/
setl.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
import ../code/conceptPage.scroll
id setl
name SETL
appeared 1969
creators Jacob T. Schwartz
tags pl
website http://setl.org/setl/
conceptDescription SETL is a general-purpose, high-level programming language in which sets and first-order mappings are fundamental to the syntax and semantics of the language. This lends great conciseness and readability to a wide range of applications, from basic data filtering and transformation to the abstract presentation of complex algorithms. SETL is particularly good for software prototyping.
fileType text
rosettaCode http://www.rosettacode.org/wiki/Category:SETL
centralPackageRepositoryCount 0
country United States
originCommunity Courant Institute of Mathematical Sciences
rijuRepl https://riju.codes/setl
example
print("Hello, world!");
lineCommentToken --
printToken print
hasComments true
hasLineComments true
-- A comment
hasPrintDebugging true
hasSemanticIndentation false
wikipedia https://en.wikipedia.org/wiki/SETL
example
procedure factorial(n); -- calculates the factorial n!
return if n = 1 then 1 else n * factorial(n - 1) end if;
end factorial;
related algol-60 abc ada python
summary 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.
pageId 916963
created 2004
backlinksCount 51
revisionCount 101
dailyPageViews 34
appeared 1969
hopl https://hopl.info/showlanguage.prx?exp=1268
isbndb 2
year|publisher|title|authors|isbn13
1986|Springer-Verlag|Programming With Sets: An Introduction to Setl|J.T. Schwartz and Robert B.K. Dewar|9780387963990
2012|Springer|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|9781461395775
semanticScholar 11
year|title|doi|citations|influentialCitations|authors|paperId
1981|An Automatic Technique for Selection of Data Representations in SETL Programs|10.1145/357133.357135|126|3|E. Schonberg and J. Schwartz and M. Sharir|c4cfe5caa2075b49bc98c89f60db94c7c4ea410e
1979|Programming by Refinement, as Exemplified by the SETL Representation Sublanguage|10.1145/357062.357064|108|4|R. Dewar and Art Grand and Ssu-Cheng Liu and J. Schwartz and E. Schonberg|0fb3b1a16b1d1db4a45b4b1d996ec04e684d073e
1983|Experience with the SETL Optimizer|10.1145/357195.357197|55|1|S. Freudenberger and J. Schwartz and M. Sharir|b302fd5defe19bef88feae29febaa68ced105451
1979|Automatic data structure selection in SETL|10.1145/567752.567771|49|4|E. Schonberg and J. Schwartz and M. Sharir|c12ce42f5bf7f8365741c382327bbb5fe38f78cb
1984|Software Prototyping using the SETL Programming Language|10.1109/MS.1984.229465|42|3|Philippe B Kruchten and E. Schonberg and Jacob Schwart|d83f02d5a64785edff281447b800be5712c6cb0e
1974|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.|10.1145/953220.953221|33|0|Thomas I. M. Ho|d0eeb665746375cff009fcab8d3d65c635456d7f
2013|SETL and the Evolution of Programming|10.1007/978-1-4471-4282-9_4|14|0|R. Dewar|692971735fdfdc18a559fb9065aea0e376a891f6
1987|Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach|10.1007/3-540-50241-6_29|9|2|E. Dahlhaus|71735ced25de6672431a7796b804a285dfc286ff
1979|The elements of SETL style.|10.1145/800177.810021|8|0|R. Dewar and E. Schonberg|6d52a4b15e5968eeb4ab379c5cc035c372be581e
1974|Automatic and semiautomatic optimization of SETL|10.1145/800233.807044|6|0|J. Schwartz|c7608e1ddd05667d6d8a1eae29d388cc9c929c1d
1987|Development of a Programming Environment for Setl|10.1007/BFb0022095|5|0|V. Donzeau-Gouge and Catherine Dubois and P. Facon and F. Jean|4e77fd5689d27d41591d99ea12e13a08f52820a0
goodreads
title|year|author|goodreadsId|rating|ratings|reviews
Programming with Sets: An Introduction to Setl|1986|Jacob T. Schwartz|1634697|4.50|2|0
Software Prototyping Mit Setl|1989|Ernst-Erich Doberkat|37857661|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|47398006|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|65986497|0.0|0|0
Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Classic Reprint)|2015|Gerald Weiss|46378170|0.0|0|0