906:
380:(SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical Sciences at New York University in the late 1980s. Like its predecessor, it is based on the theory and notation of finite sets, but has also been influenced in syntax and style by the Ada language.
698:
Dewar, Robert B. K.; Fisher Jr., Gerald A.; Schonberg, Edmond; Froelich, Robert; Bryant, Stephen; Goss, Clinton F.; Burke, Michael (November 1980). "The NYU Ada translator and interpreter".
255:(i.e., tuples of length 2) and can have arbitrary domain and range types. Primitive operations in SETL include set membership, union, intersection, and power set construction, among others.
872:
Schwartz, Jacob T., "On
Programming, An Interim Report on the SETL Project", Computer Science Department, Courant Institute of Mathematical Sciences, New York University (1973).
765:
869:
Schwartz, Jacob T., "Set Theory as a
Language for Program Specification and Programming". Courant Institute of Mathematical Sciences, New York University, 1970.
939:
216:
78:
934:
826:
657:
204:
37:
884:
715:
305:
procedure factorial(n); -- calculates the factorial n! return if n = 1 then 1 else n * factorial(n - 1) end if; end factorial;
239:. The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves, except the undefined value
740:
358:
350:, named the NYU Ada/ED translator. This later became the first validated Ada implementation, certified on April 11, 1983.
944:
267:
107:
53:
188:
362:
347:
192:
263:
49:
45:
41:
778:
387:
259:
32:
212:
20:
721:
687:(in Russian). ΠΠΎΠ²ΠΎΡΠΈΠ±ΠΈΡΡΠΊ: ΠΠ½ΡΡΠΈΡΡΡ ΡΠΈΡΡΠ΅ΠΌ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠΈ ΠΈΠΌ. Π. Π. ΠΡΡΠΎΠ²Π° Π‘Π Π ΠΠ. pp. 106β113.
296:
73:
880:
822:
759:
711:
653:
496:
220:
66:
488:
703:
647:
526:
439:
366:
354:
328:
520:
184:
332:
60:
905:
928:
369:
spent a year with the SETL group at NYU before coming up with the final ABC design!"
919:
725:
674:
622:
598:
571:
547:
223:, R.B.K. Dewar, and E. Schonberg. Schwartz is credited with designing the language.
700:
Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80
138:
133:
744:
530:
443:
208:
500:
431:
707:
274:
164:
741:"Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001"
681:
Formation of the
Novosibirsk school of programming (mosaic of memories)
676:Π‘ΡΠ°Π½ΠΎΠ²Π»Π΅Π½ΠΈΠ΅ Π½ΠΎΠ²ΠΎΡΠΈΠ±ΠΈΡΡΠΊΠΎΠΉ ΡΠΊΠΎΠ»Ρ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ (ΠΌΠΎΠ·Π°ΠΈΠΊΠ° Π²ΠΎΡΠΏΠΎΠΌΠΈΠ½Π°Π½ΠΈΠΉ)
324:
793:
460:
430:
Schwartz, J. T.; Dewar, R. B. K.; Schonberg, E.; Dubinsky, E. (1986).
346:
SETL was used for an early implementation of the programming language
340:
336:
875:
Schwartz, Jacob T., Dewar, R.B.K., Dubinsky, E., and
Schonberg, E.,
258:
SETL provides quantified boolean expressions constructed using the
180:
176:
19:"Setl" redirects here. For the indigenous location in Canada, see
646:
J.T. Schwartz; R.B.K. Dewar; E. Dubinsky; E. Schonberg (1986).
320:
308:
A more conventional SETL expression for factorial (n > 0):
277:
to produce a variety of loops over aggregate data structures.
396:
is a command-line utility that extends and implements SETL.
911:
817:
Baxter
Hastings, Nancy; Dubinsky, Ed; Levin, Gary (1989).
231:
SETL provides two basic aggregate data types: (unordered)
842:
779:
Python-Dev: SETL (was: Lukewarm about range literals)
292:
print( | forall m in {2..n - 1} | n mod m > 0]);
170:
158:
144:
132:
106:
84:
72:
59:
31:
899:
319:Implementations of SETL were available on the DEC
149:
489:"Jacob T. Schwartz, 79, Restless Scientist, Dies"
219:in the late 1960s, by a group containing (Jack)
877:Programming With Sets: An Introduction to SETL
649:Programming with sets. An Introduction to SETL
8:
764:: CS1 maint: multiple names: authors list (
26:
904:
217:Courant Institute of Mathematical Sciences
79:Courant Institute of Mathematical Sciences
25:
819:Learning discrete mathematics with ISETL
739:SofTech Inc., Waltham, MA (1983-04-11).
405:
335:. In the 1970s, SETL was ported to the
757:
438:: vβvii, 2, 48, 53, 57β58, 63, 113ff.
788:
786:
386:(ISETL) is a variant of SETL used in
211:. It was originally developed at the
7:
593:
591:
542:
540:
482:
480:
455:
453:
425:
423:
421:
419:
417:
415:
413:
411:
409:
343:and other Russian computer systems.
205:very high-level programming language
940:Set theoretic programming languages
702:. Vol. 15. pp. 194β201.
522:Computational Logic and Set Theory
302:A factorial procedure definition:
285:Print all prime numbers from 2 to
14:
652:. Springer-Verlag New York Inc.
920:SETL Historical Sources Archive
935:Academic programming languages
1:
821:. New York: Springer-Verlag.
113:1.1 / January 7, 2005
487:Markoff, John (2009-03-04).
673:Π.Π. ΠΠΎΡΡΠΎΡΠΈΠ½, ed. (2001).
295:The notation is similar to
268:first-order predicate logic
90:; 55 years ago
961:
365:, was inspired by SETL --
207:based on the mathematical
18:
531:10.1007/978-0-85729-808-9
444:10.1007/978-1-4613-9575-1
175:
163:
128:
102:
384:Interactive SET Language
251:are provided as sets of
243:(sometimes capitalized:
432:"Programming with Sets"
264:existential quantifiers
273:SETL provides several
115:; 19 years ago
708:10.1145/948632.948659
388:discrete mathematics
203:(SET Language) is a
16:Programming language
913:Programming in SETL
213:New York University
85:First appeared
28:
21:Bridge River Rapids
945:1969 introductions
493:The New York Times
297:list comprehension
828:978-0-387-96898-8
659:978-1-4613-9577-5
627:www.settheory.com
603:www.settheory.com
576:www.settheory.com
552:www.settheory.com
373:Language variants
221:Jacob T. Schwartz
198:
197:
134:Typing discipline
67:Jacob T. Schwartz
952:
915:and other things
908:
903:
902:
900:Official website
857:
856:
854:
853:
839:
833:
832:
814:
808:
807:
805:
804:
790:
781:
776:
770:
769:
763:
755:
753:
752:
743:. Archived from
736:
730:
729:
695:
689:
688:
686:
670:
664:
663:
643:
637:
636:
634:
633:
619:
613:
612:
610:
609:
595:
586:
585:
583:
582:
568:
562:
561:
559:
558:
544:
535:
534:
525:. pp. vii.
517:
511:
510:
508:
507:
484:
475:
474:
472:
471:
457:
448:
447:
427:
367:Lambert Meertens
361:'s predecessor,
355:Guido van Rossum
331:workstation and
154:
151:
123:
121:
116:
98:
96:
91:
61:Designed by
29:
960:
959:
955:
954:
953:
951:
950:
949:
925:
924:
898:
897:
894:
866:
864:Further reading
861:
860:
851:
849:
841:
840:
836:
829:
816:
815:
811:
802:
800:
792:
791:
784:
777:
773:
756:
750:
748:
747:on June 7, 2017
738:
737:
733:
718:
697:
696:
692:
684:
672:
671:
667:
660:
645:
644:
640:
631:
629:
621:
620:
616:
607:
605:
597:
596:
589:
580:
578:
570:
569:
565:
556:
554:
546:
545:
538:
519:
518:
514:
505:
503:
486:
485:
478:
469:
467:
459:
458:
451:
429:
428:
407:
402:
375:
317:
312:
306:
293:
288:
283:
229:
148:
124:
119:
117:
114:
94:
92:
89:
54:object-oriented
24:
17:
12:
11:
5:
958:
956:
948:
947:
942:
937:
927:
926:
923:
922:
917:
909:
893:
892:External links
890:
889:
888:
873:
870:
865:
862:
859:
858:
834:
827:
809:
794:"SETL2 - EDM2"
782:
771:
731:
716:
690:
665:
658:
638:
614:
587:
563:
536:
512:
476:
449:
404:
403:
401:
398:
378:SET Language 2
374:
371:
316:
313:
310:
304:
291:
286:
282:
279:
228:
225:
209:theory of sets
196:
195:
173:
172:
168:
167:
161:
160:
156:
155:
146:
142:
141:
136:
130:
129:
126:
125:
112:
110:
108:Stable release
104:
103:
100:
99:
86:
82:
81:
76:
70:
69:
63:
57:
56:
38:multi-paradigm
35:
15:
13:
10:
9:
6:
4:
3:
2:
957:
946:
943:
941:
938:
936:
933:
932:
930:
921:
918:
916:
914:
910:
907:
901:
896:
895:
891:
886:
885:0-387-96399-5
882:
878:
874:
871:
868:
867:
863:
848:
844:
838:
835:
830:
824:
820:
813:
810:
799:
795:
789:
787:
783:
780:
775:
772:
767:
761:
746:
742:
735:
732:
727:
723:
719:
717:0-89791-030-3
713:
709:
705:
701:
694:
691:
682:
678:
677:
669:
666:
661:
655:
651:
650:
642:
639:
628:
624:
618:
615:
604:
600:
594:
592:
588:
577:
573:
567:
564:
553:
549:
543:
541:
537:
532:
528:
524:
523:
516:
513:
502:
498:
494:
490:
483:
481:
477:
466:
462:
461:"GNU SETL Om"
456:
454:
450:
445:
441:
437:
433:
426:
424:
422:
420:
418:
416:
414:
412:
410:
406:
399:
397:
395:
391:
389:
385:
381:
379:
372:
370:
368:
364:
360:
356:
353:According to
351:
349:
344:
342:
338:
334:
330:
326:
322:
314:
309:
303:
300:
298:
290:
280:
278:
276:
271:
269:
265:
261:
256:
254:
250:
246:
242:
238:
234:
226:
224:
222:
218:
214:
210:
206:
202:
194:
190:
186:
182:
178:
174:
169:
166:
162:
159:Influenced by
157:
153:
147:
143:
140:
137:
135:
131:
127:
111:
109:
105:
101:
87:
83:
80:
77:
75:
71:
68:
64:
62:
58:
55:
51:
47:
43:
39:
36:
34:
30:
22:
912:
876:
850:. Retrieved
846:
837:
818:
812:
801:. Retrieved
798:www.edm2.com
797:
774:
749:. Retrieved
745:the original
734:
699:
693:
680:
675:
668:
648:
641:
630:. Retrieved
626:
617:
606:. Retrieved
602:
579:. Retrieved
575:
566:
555:. Retrieved
551:
521:
515:
504:. Retrieved
492:
468:. Retrieved
464:
436:SpringerLink
435:
393:
392:
383:
382:
377:
376:
352:
345:
318:
307:
301:
294:
284:
272:
257:
252:
248:
244:
240:
236:
232:
230:
200:
199:
623:"CHAPTER 4"
599:"CHAPTER 3"
572:"CHAPTER 3"
548:"CHAPTER 2"
929:Categories
852:2024-04-24
843:"GNU SETL"
803:2024-04-24
751:2010-12-16
632:2024-04-24
608:2024-04-24
581:2024-04-24
557:2024-04-24
506:2024-04-24
470:2024-04-24
400:References
171:Influenced
120:2005-01-07
50:structured
46:procedural
42:imperative
501:0362-4331
275:iterators
260:universal
74:Developer
879:, 1986.
847:setl.org
760:cite web
726:10586359
465:setl.org
394:GNU SETL
281:Examples
165:ALGOL 60
33:Paradigm
325:IBM/370
189:Starset
145:Website
139:Dynamic
118: (
93: (
65:(Jack)
883:
825:
724:
714:
683:]
656:
499:
359:Python
341:ES EVM
337:BESM-6
333:APOLLO
237:tuples
235:, and
227:Design
215:(NYU)
722:S2CID
685:(PDF)
679:[
253:pairs
185:SETLX
181:ISETL
177:SETL2
881:ISBN
823:ISBN
766:link
712:ISBN
654:ISBN
497:ISSN
315:Uses
262:and
249:Maps
233:sets
201:SETL
152:.org
150:setl
95:1969
88:1969
27:SETL
704:doi
527:doi
440:doi
363:ABC
357:, "
348:Ada
329:SUN
321:VAX
311:*/
266:of
247:).
193:ABC
931::
845:.
796:.
785:^
762:}}
758:{{
720:.
710:.
625:.
601:.
590:^
574:.
550:.
539:^
495:.
491:.
479:^
463:.
452:^
434:.
408:^
390:.
339:,
327:,
323:,
299:.
289::
270:.
245:OM
241:om
191:,
187:,
183:,
179:,
52:,
48:,
44:,
40::
887:.
855:.
831:.
806:.
768:)
754:.
728:.
706::
662:.
635:.
611:.
584:.
560:.
533:.
529::
509:.
473:.
446:.
442::
287:N
122:)
97:)
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.