SETL (SET Language) is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s. SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets of pairs (i.e.

PropertyValue
dbpedia-owl:abstract
  • SETL (SET Language) is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s. SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets of pairs (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. SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic. SETL provides several iterators to produce a variety of loops over aggregate data structures. In the 1970s, SETL was ported to the BESM-6, ES EVM and other Russian computer systems. SETL was used for an early implementation of the Ada programming language, known as the NYU Ada/ED translator. This later became the first validated Ada implementation, certified on April 11, 1983. David Bacon, who was previously a PhD student in NYU with Jack Schwartz still actively maintains the compiler for SETL and its website.
  • SETL (Set Language, engl. für Mengensprache) ist eine höhere Programmiersprache die auf der Mengenlehre der Mathematik aufbaut. Sie wurde 1969/70 von Jack Schwartz am Courant Institute of Mathematical Sciences of New York University entwickelt. Als fundamentale Datentypen kennt SETL Integer, Real, String, Boolean und den Nullwert Omega (om). Es gibt keine starke Typisierung, der Datentyp einer Variable wird je nach zugewiesenem Inhalt angepasst. Des Weiteren verfügt SETL über automatische Speicherbereinigung. SETL kennt zwei Datenstrukturen, das unsortierte set und das tuple als geordnete Folge von Elementen. Ein set weist die Besonderheit auf, dass in ihm kein Wert doppelt vorkommt, bei einem tuple ist dies jedoch gestattet. Bis auf diese Einschränkung ist der Inhalt von einem set oder einem tuple beliebig, sie können auch weitere sets und tuples beinhalten. Ein Sonderfall ist die map (kurz für mapping, engl. Abbildung). Sie ist eine Menge von geordneten Paaren und besteht aus tuples der Länge 2. Des Weiteren stellt SETL Do-while-Schleifen, if-then-else- und case-Anweisungen zur Verfügung. Auch gibt es spezialisierte Schleifen zum Durchlaufen von tuples und sets. Von Hause aus kennt SETL zahlreiche Operatoren für die Grundrechenarten, sowie trigonometrische und andere mathematische Aufgaben. Des Weiteren besitzt SETL spezielle Operatoren zum Arbeiten mit Mengen und Zeichenketten. Außerdem kann man eigene Operatoren festlegen.
  • SETL é uma linguagem de programação de "altíssimo nível", baseada na teoria matemática de conjuntos. Foi originalmente desenvolvida por Jack Schwartz no Courant Institute of Mathematical Sciences na NYU no fim dos anos 1960. SETL fornece dois tipos básicos de dados agregados: conjuntos não-ordenados, e seqüências (este último também chamado de tuplas). Os elementos dos conjuntos e tuplas podem ser de qualquer tipo arbitrário, incluindo conjuntos e tuplas eles mesmos. Mapeamentos (Maps) são fornecidos como conjuntos de pares (ou seja, tuplas de dimensão 2) e podem ter domínio arbitrário e tipos de intervalos arbitrários. Operações primitivas em SETL incluem pertinência de conjuntos, união, interseção e construção de conjuntos de potência, entre outras. A linguagem SETL fornece expressões booleanas quantificadas construídas utilizando-se quantificadores universais e quantificadores existênciais da lógica de primeira ordem. A linguagem SETL fornece diversos iterators para produzir uma variedade de laços sobre estruturas de dados agregados. Na década de 1970, SETL foi portada para o BESM-6, ES EVM e outros sistemas de informática russos. David Bacon, que antes era um estudante de PhD na NYU com Jack Schwartz ainda mantém ativamente o compilador SETL e seu website.
  • Сетл (SETL) — язык программирования, ориентированный на работу со множествами, разработанный в конце 1960-х годов группой профессора Нью-йоркского университета Джекобом Шварцем. Наименование языка SETL — сокращение от SET Language (англ. ), где SET переводится как «множество», то есть дословно «Язык множеств». Синтаксические конструкции языка содержат операции, позволяющие манипулировать со множествами — включение, исключение, проверка принадлежности, кванторы всеобщности и существования, итераторы, позволяющие обрабатывать каждый элемент множества и т.  д. Кроме множеств, язык поддерживает работу с упорядоченными множествами — кортежами.
  • SETL est un langage de programmation de très-haut niveau basé sur la théorie mathématique des ensembles. Il a été à l'origine développé près Modèle:Lien au Courant Institute of Mathematical Sciences de la NYU. SETL fournit deux types de données de base: les ensembles non ordonnés et les suites (appelées également tuples). Les éléments des ensembles et des tuples peuvent être de n'importe quel type arbitraire, y compris les ensembles et les tuples eux-mêmes. Le fonctions sont fournis en tant qu'ensembles de paires (c. -à-d. , tuples de longueur 2) et peuvent avoir des domaines et de codomaines de types arbitraires. Les opérations primitives dans SETL incluent, entre d'autres, l'appartenance ensembliste, l'union, l'intersection et la puissance d'ensembles. SETL permet d'exprimer des expressions booléennes quantifiées construites en utilisant le calcul des prédicats du premier ordre, les quantificateurs universels et quantificateurs existentiels. SETL fournit aussi plusieurs itérateurs pour produire diverses boucles sur des structures de données.
dbpedia-owl:designer
dbpedia-owl:developer
dbpedia-owl:influenced
dbpedia-owl:latestReleaseDate
  • 2005-01-07 (xsd:date)
dbpedia-owl:wikiPageExternalLink
dbpprop:designer
dbpprop:developer
dbpprop:influenced
dbpprop:latestReleaseDate
  • 2005-01-07 (xsd:date)
dbpprop:name
  • SETL
dbpprop:paradigm
dbpprop:typing
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:year
  • 1969 (xsd:integer)
dcterms:subject
rdf:type
rdfs:comment
  • SETL (Set Language, engl. für Mengensprache) ist eine höhere Programmiersprache die auf der Mengenlehre der Mathematik aufbaut. Sie wurde 1969/70 von Jack Schwartz am Courant Institute of Mathematical Sciences of New York University entwickelt. Als fundamentale Datentypen kennt SETL Integer, Real, String, Boolean und den Nullwert Omega (om). Es gibt keine starke Typisierung, der Datentyp einer Variable wird je nach zugewiesenem Inhalt angepasst.
  • SETL (SET Language) is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s. SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets of pairs (i.e.
  • SETL é uma linguagem de programação de "altíssimo nível", baseada na teoria matemática de conjuntos. Foi originalmente desenvolvida por Jack Schwartz no Courant Institute of Mathematical Sciences na NYU no fim dos anos 1960. SETL fornece dois tipos básicos de dados agregados: conjuntos não-ordenados, e seqüências (este último também chamado de tuplas). Os elementos dos conjuntos e tuplas podem ser de qualquer tipo arbitrário, incluindo conjuntos e tuplas eles mesmos.
  • Сетл (SETL) — язык программирования, ориентированный на работу со множествами, разработанный в конце 1960-х годов группой профессора Нью-йоркского университета Джекобом Шварцем. Наименование языка SETL — сокращение от SET Language (англ. ), где SET переводится как «множество», то есть дословно «Язык множеств».
  • SETL est un langage de programmation de très-haut niveau basé sur la théorie mathématique des ensembles. Il a été à l'origine développé près Modèle:Lien au Courant Institute of Mathematical Sciences de la NYU. SETL fournit deux types de données de base: les ensembles non ordonnés et les suites (appelées également tuples). Les éléments des ensembles et des tuples peuvent être de n'importe quel type arbitraire, y compris les ensembles et les tuples eux-mêmes.
rdfs:label
  • SETL
  • SETL
  • SETL
  • SETL
  • Сетл
owl:sameAs
foaf:homepage
foaf:name
  • SETL
foaf:page
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageRedirects of
is dbpprop:influencedBy of
is owl:sameAs of
is foaf:primaryTopic of