Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A history of the Oz multiparadigm language
KTH, Skolan för elektroteknik och datavetenskap (EECS), Datavetenskap, Programvaruteknik och datorsystem, SCS. (SCS)ORCID-id: 0000-0002-6718-0144
2020 (engelsk)Inngår i: History of Programming Languages HOPL-4, E-ISSN 2475-1421, Vol. 4, nr HOPL, s. 1-56, artikkel-id 10.1145/3386333Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Oz is a programming language designed to support multiple programming paradigms in a clean factored way that is easy to program despite its broad coverage. It started in 1991 as a collaborative effort by the DFKI (Germany) and SICS (Sweden) and led to an influential system, Mozart, that was released in 1999 and widely used in the 2000s for practical applications and education. We give the history of Oz as it developed from its origins in logic programming, starting with Prolog, followed by concurrent logic programming and constraint logic programming, and leading to its two direct precursors, the concurrent constraint model and the Andorra Kernel Language (AKL). We give the lessons learned from the Oz effort including successes and failures and we explain the principles underlying the Oz design. Oz is defined through a kernel language, which is a formal model similar to a foundational calculus, but that is designed to be directly useful to the programmer. The kernel language is organized in a layered structure, which makes it straightforward to write programs that use different paradigms in different parts. Oz is a key enabler for the book Concepts, Techniques, and Models of Computer Programming (MIT Press, 2004). Based on the book and the implementation, Oz has been used successfully in university-level programming courses starting from 2001 to the present day.

sted, utgiver, år, opplag, sider
ACM Digital Library, 2020. Vol. 4, nr HOPL, s. 1-56, artikkel-id 10.1145/3386333
HSV kategori
Forskningsprogram
Datalogi; Datalogi
Identifikatorer
URN: urn:nbn:se:kth:diva-278174DOI: 10.1145/3386333ISI: 000685202900016Scopus ID: 2-s2.0-85091278047OAI: oai:DiVA.org:kth-278174DiVA, id: diva2:1452770
Merknad

QC 20220112

Tilgjengelig fra: 2020-07-07 Laget: 2020-07-07 Sist oppdatert: 2022-06-26bibliografisk kontrollert

Open Access i DiVA

fulltext(3528 kB)242 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 3528 kBChecksum SHA-512
9588d8ecb95c9756b747bde9d49e954fe5e3550b1f5a8ff2233b04e0a297e50354bf73ce18256a9e8ad69c4cd6d0d556440c29a09a75db04439999ac2035cdbb
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopushttps://dl.acm.org/doi/10.1145/3386333

Person

Haridi, Seif

Søk i DiVA

Av forfatter/redaktør
Haridi, Seif
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 242 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 371 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf