Live briefing
Everything about SETL
Programming language
SETL is a very high-level programming language based on the mathematical theory of sets. It was originally developed at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s, by a group including (Jack) Jacob T. Schwartz, Robert Dewar, and E. Schonberg. Schwartz is credited with designing the language. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: SETLA 5-minute orientation
- Skim a recent paper: SETL Mathematical Modeling of Early Marriage Dynamics in Wajo RegencyInfluential work since 2022
- Pick up a classic book: On programmingThe most-reprinted book on the subject
- Read the landmark paper: An Automatic Technique for Selection of Data Representations in SETL ProgramsCited 79 times
- Go sideways: Jacob T. SchwartzA closely related topic
- Go sideways: Robert DewarA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
An Automatic Technique for Selection of Data Representations in SETL Programs
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
Experience with the SETL Optimizer
SETL: A programmable semantic extract-transform-load framework for semantic data warehouses
Software Prototyping using the SETL Programming Language
An introduction to the set theoretical language SETL
SETL: a transfer learning based dynamic ensemble classifier for concept drift detection in streaming data
Enhanced-SETL: A multi-variable deep reinforcement learning approach for contention window optimization in dense Wi-Fi networks
🆕 Influential since 2022
📚 Books worth reading
- 📕On programmingJacob T. Schwartz · 1973
- 📕A SETLB primerHenry Mullish · 1973
Type determination for very high level languagesAaron M. Tenenbaum · 1974
Programming with setsJacob T. Schwartz · 1986
Software Prototyping mit SETLErnst-Erich Doberkat, Dietmar Fox · 1989- 📕I͡Azyk sverkhvysokogo urovni͡a SETL i ego realizat͡sii͡a, dli͡a ĖVM BĖSM-6D. I͡A Levin · 1983
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Jacob T. Schwartz Jacob Theodore "Jack" Schwartz (January 9, 1930 – March 2, 2009) was an American mathematician, computer scientist, and professor of computer science at…
- Robert Dewar Robert Berriedale Keith Dewar (21 June 1945 – 30 June 2015) was an American computer scientist and educator. He helped to develop programming languages…
- Set theoretic programming Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL…
- AdaCore AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust. Headquartered in…
- GNAT GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection (GCC). It supports all versions of the…
- APOS Theory In mathematics education, APOS Theory is a framework of how mathematical concepts are learned. APOS Theory was developed by Ed Dubinsky and others and…
- Courant Institute School of Mathematics, Computing, and Data Science The Courant Institute School of Mathematics, Computing, and Data Science, previously known as the Courant Institute of Mathematical Sciences (CIMS), is…
- Ultracomputer The New York University's Ultracomputer is a significant processor design in the history of parallel computing. The system has N processors, N memories…