A history of the Oz multiparadigm language
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...
Gespeichert in:
| Veröffentlicht in: | Proceedings of ACM on programming languages Jg. 4; H. HOPL; S. 1 - 56 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| ISSN: | 2475-1421, 2475-1421 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. 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. |
| Author | Smolka, Gert Van Roy, Peter Schulte, Christian Haridi, Seif |
| Author_xml | – sequence: 1 givenname: Peter surname: Van Roy fullname: Van Roy, Peter organization: Université Catholique de Louvain, Belgium – sequence: 2 givenname: Seif surname: Haridi fullname: Haridi, Seif organization: KTH, Sweden / RISE SICS, Sweden – sequence: 3 givenname: Christian surname: Schulte fullname: Schulte, Christian organization: KTH, Sweden – sequence: 4 givenname: Gert surname: Smolka fullname: Smolka, Gert organization: Saarland University, Germany |
| BackLink | https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-278174$$DView record from Swedish Publication Index (Kungliga Tekniska Högskolan) https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928$$DView record from Swedish Publication Index |
| BookMark | eNqF0M1KAzEUBeAgFay1-AqzE5TRJDeZySxL_YVCN-o2ZDLJNDqdlCRF6tNbaamCC1f3Lr5zFucUDXrfG4TOCb4mhPEbAFEAwBEaUlbynDBKBr_-EzSO8Q1jTCpgAqohupxkCxeTD5vM2ywtTDb_zJbrLrmVCqpx7TLrVN-uVWvO0LFVXTTj_R2hl_u75-ljPps_PE0ns1wD0JSX1jLOG1VQTWpdC4wrhhsqGIcSa2s1aE1soWlNTdUURgDnqtZNRalmBS1hhK52vfHDrNa1XAW3VGEjvXLy1r1OpA-tDE4yUVGx1fn_-j0tJC0FKdnWX-y8Dj7GYOwhQbD83lDuN_xpPkjtkkrO9yko1_3xX6PscsY |
| CitedBy_id | crossref_primary_10_1109_ACCESS_2021_3089560 crossref_primary_10_1017_S1471068422000102 crossref_primary_10_21833_ijaas_2025_03_003 |
| Cites_doi | 10.5555/39085 10.1145/1283920.1283939 10.1145/1283920.1283936 10.1145/41625.41635 10.1016/j.jal.2005.10.008 10.1145/2489837.2489841 10.7551/mitpress/2087.003.0012 10.1145/319301.319347 10.5555/646451.692926 10.1142/S0129626403001562 10.5555/767676.768123 10.1145/1283920.1283940 10.1016/0743-1066(93)90043-G 10.1145/234286.1057820 10.1007/978-3-7091-7488-3_4 10.1145/266670.266726 10.1145/129393.129398 10.1287/opre.49.1.163.11193 10.1007/BF03037481 10.1016/0743-1066(94)00038-8 10.1016/0743-1066(94)90031-0 10.1016/j.tcs.2006.08.016 10.1145/1289971.1289980 10.1145/72551.72555 10.1007/3-540-46425-5 10.1016/0743-1066(94)90044-2 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION ADTPV AFDQA AOWAS D8T D8V ZZAVC |
| DOI | 10.1145/3386333 |
| DatabaseName | CrossRef SwePub SWEPUB Kungliga Tekniska Högskolan full text SwePub Articles SWEPUB Freely available online SWEPUB Kungliga Tekniska Högskolan SwePub Articles full text |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2475-1421 |
| EndPage | 56 |
| ExternalDocumentID | oai_DiVA_org_ri_48928 oai_DiVA_org_kth_278174 10_1145_3386333 |
| GroupedDBID | AAKMM AAYFX AAYXX ACM AEFXT AEJOY AIKLT AKRVB ALMA_UNASSIGNED_HOLDINGS CITATION GUFHI LHSKQ M~E OK1 ROL ADTPV AFDQA AOWAS D8T D8V EBS ZZAVC |
| ID | FETCH-LOGICAL-c332t-7ff455da62c1bcb800940d2845370cffc3cc1f6c2b2e9d6e8355abcd922c46273 |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000685202900016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2475-1421 |
| IngestDate | Wed Sep 24 03:32:08 EDT 2025 Tue Nov 04 16:52:38 EST 2025 Tue Nov 18 21:34:37 EST 2025 Sat Nov 29 07:53:02 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | HOPL |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c332t-7ff455da62c1bcb800940d2845370cffc3cc1f6c2b2e9d6e8355abcd922c46273 |
| OpenAccessLink | https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-278174 |
| PageCount | 56 |
| ParticipantIDs | swepub_primary_oai_DiVA_org_ri_48928 swepub_primary_oai_DiVA_org_kth_278174 crossref_primary_10_1145_3386333 crossref_citationtrail_10_1145_3386333 |
| PublicationCentury | 2000 |
| PublicationDate | 2020 |
| PublicationDateYYYYMMDD | 2020-01-01 |
| PublicationDate_xml | – year: 2020 text: 2020 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of ACM on programming languages |
| PublicationYear | 2020 |
| References | Grolaux Donatien (e_1_2_1_27_1) e_1_2_1_119_1 Sterling Leon (e_1_2_1_86_1) Kahn Gilles (e_1_2_1_45_1) e_1_2_1_115_1 Deville Yves (e_1_2_1_18_1) 2005; 5 e_1_2_1_20_1 e_1_2_1_62_1 Roy Peter Van (e_1_2_1_93_1) 1999 Felleisen Matthias (e_1_2_1_23_1) 1990 Abelson Harold (e_1_2_1_1_1) 1996 Roy Peter Van (e_1_2_1_103_1) 1997; 19 Ed Jean-Luc (e_1_2_1_109_1) 1995 e_1_2_1_122_1 Roy Peter Van (e_1_2_1_92_1) 1994 Paquot Arthur (e_1_2_1_61_1) Schulte Christian (e_1_2_1_73_1) e_1_2_1_107_1 Roy Peter Van (e_1_2_1_97_1) 2011; 5 Roy Peter Van (e_1_2_1_99_1) 2003 e_1_2_1_31_1 Okasaki Chris (e_1_2_1_59_1) e_1_2_1_77_1 e_1_2_1_96_1 e_1_2_1_16_1 e_1_2_1_39_1 e_1_2_1_58_1 Ueda Kazunori (e_1_2_1_90_1) 1990; 33 Haridi Seif (e_1_2_1_112_1) 1996 Roy Peter Van (e_1_2_1_98_1) 2018 e_1_2_1_82_1 e_1_2_1_114_1 e_1_2_1_118_1 e_1_2_1_40_1 McGlashan Scott (e_1_2_1_54_1) 1996 e_1_2_1_121_1 e_1_2_1_21_1 e_1_2_1_44_1 e_1_2_1_63_1 Hentenryck Pascal Van (e_1_2_1_91_1) 1994; 6 Roy Peter Van (e_1_2_1_102_1) Fonteyn François (e_1_2_1_24_1) Smolka Gert (e_1_2_1_81_1) 1994 Lelis Stelios (e_1_2_1_48_1) 2001; 2362 Saraswat Vijay (e_1_2_1_65_1) 1990 Robert (e_1_2_1_4_1) 1987 e_1_2_1_78_1 e_1_2_1_13_1 e_1_2_1_32_1 e_1_2_1_17_1 Combéfis Sébastien (e_1_2_1_12_1) Henz Martin (e_1_2_1_35_1) 1999 Roverso Roberto (e_1_2_1_64_1) 2009 Schulte Christian (e_1_2_1_68_1) 1997 Schulte Christian (e_1_2_1_117_1) 2019 e_1_2_1_113_1 O’Keefe Richard (e_1_2_1_60_1) Henz Martin (e_1_2_1_33_1) Grolaux Donatien (e_1_2_1_29_1) 2002 e_1_2_1_41_1 Michiels Denis (e_1_2_1_56_1) 2014 e_1_2_1_87_1 Ed Peter Van (e_1_2_1_94_1) 2004; 3389 e_1_2_1_120_1 e_1_2_1_83_1 Roy Peter Van (e_1_2_1_95_1) 2006; 3945 Cardelli Luca (e_1_2_1_7_1) 1995; 8 Maher Michael (e_1_2_1_52_1) 1987 e_1_2_1_49_1 Schulte Christian (e_1_2_1_70_1) 1999 Roy Peter Van (e_1_2_1_101_1) 1999 Sommerville Ian (e_1_2_1_84_1) Schulte Christian (e_1_2_1_74_1) 1994 Schulte Christian (e_1_2_1_72_1) 2000 Magnusson Peter S. (e_1_2_1_51_1) 1998 Henz Martin (e_1_2_1_36_1) e_1_2_1_6_1 e_1_2_1_2_1 e_1_2_1_14_1 e_1_2_1_37_1 PIRATES. (e_1_2_1_116_1) Schulte Christian (e_1_2_1_69_1) 1997; 1330 Janson Sverker (e_1_2_1_43_1) 1991 Haridi Seif (e_1_2_1_110_1) 1994 Fujise Tetsuro (e_1_2_1_25_1) 1994 e_1_2_1_80_1 Ueda Kazunori (e_1_2_1_89_1) 1985; 221 e_1_2_1_88_1 Saraswat Vijay A. (e_1_2_1_66_1) Clark Keith L. (e_1_2_1_8_1) Gammie Peter (e_1_2_1_26_1) 2009; 19 e_1_2_1_46_1 Grolaux Donatien (e_1_2_1_28_1) 2001; 2254 Spiessens Alfred (e_1_2_1_85_1) 2003 Darwin Charles (e_1_2_1_15_1) 1964 Doeraene Sébastien (e_1_2_1_19_1) 2011 e_1_2_1_108_1 Magnusson Peter S. (e_1_2_1_50_1) 2002 Jeremy (e_1_2_1_79_1) e_1_2_1_123_1 Roy Peter Van (e_1_2_1_100_1) 2003 e_1_2_1_104_1 Schulte Christian (e_1_2_1_75_1) e_1_2_1_30_1 e_1_2_1_5_1 e_1_2_1_57_1 Marriott Kim (e_1_2_1_53_1) 2006; 12 e_1_2_1_11_1 e_1_2_1_38_1 |
| References_xml | – volume-title: Comprehensions in Mozart. Master’s thesis ident: e_1_2_1_24_1 – volume-title: International Workshop On Oz Programming. Institut Dalle Molle d’Intelligence Artificielle Perceptive (IDIAP), CP 592 year: 1995 ident: e_1_2_1_109_1 – volume-title: Fifth Generation Computer Systems (FGCS year: 1994 ident: e_1_2_1_110_1 – ident: e_1_2_1_21_1 – volume-title: Workshop on Logic and Practice of Programming (LPOP 2018 year: 2018 ident: e_1_2_1_98_1 – volume-title: Gerald Jay Sussman, and Julie Sussman year: 1996 ident: e_1_2_1_1_1 – ident: e_1_2_1_77_1 doi: 10.5555/39085 – start-page: 715 year: 2003 ident: e_1_2_1_100_1 article-title: Logic Programming in the Context of Multiparadigm Programming: The Oz Experience publication-title: Journal of Theory and Practice of Logic Programming – volume-title: Practical Aspects of Declarative Languages year: 2000 ident: e_1_2_1_72_1 – ident: e_1_2_1_96_1 – ident: e_1_2_1_63_1 doi: 10.1145/1283920.1283939 – ident: e_1_2_1_114_1 – ident: e_1_2_1_38_1 doi: 10.1145/1283920.1283936 – volume-title: Third UK VR-SIG Conference year: 1996 ident: e_1_2_1_54_1 – ident: e_1_2_1_40_1 doi: 10.1145/41625.41635 – volume-title: Méthodes et Outils pour la Programmation Répartie Transparente et Sûre (Methods and Tools for Dependable Transparent Distributed Programming). Wallonia Region (Belgium) project ident: e_1_2_1_116_1 – volume-title: Encapsulated Search for Higher-order Concurrent Constraint Programming. In International Symposium on Logic Programming, Maurice Bruynooghe (Ed.). The MIT Press year: 1994 ident: e_1_2_1_74_1 – volume-title: Mozart: A Programming System for Agent Applications. AgentLink News 4 (Nov.). Esprit Network of Excellence for Agent-Based Computing. year: 1999 ident: e_1_2_1_101_1 – ident: e_1_2_1_113_1 – ident: e_1_2_1_80_1 doi: 10.1016/j.jal.2005.10.008 – volume-title: Proceedings of the Conference on Parallel Architectures and Languages Europe (PARLE). Volume II: Parallel Languages (Lecture Notes in Computer Science) ident: e_1_2_1_8_1 – ident: e_1_2_1_20_1 doi: 10.1145/2489837.2489841 – volume-title: NATCracker: NAT Combinations Matter. In 18th IEEE International Conference on Computer Communications and Networks. IEEE Computer Society year: 2009 ident: e_1_2_1_64_1 – volume: 19 start-page: 2 year: 2009 ident: e_1_2_1_26_1 article-title: Book Review: Concepts, Techniques, and Models of Computer Programming publication-title: Journal of Functional Programming – volume: 2254 volume-title: QTk: A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. In IFIP International Conference on Engineering for Human-Computer Interaction (EHCI 2001) year: 2001 ident: e_1_2_1_28_1 – volume-title: Purely Functional Data Structures ident: e_1_2_1_59_1 – volume-title: Fractalide: HyperCard on Flow-Based Programming. Master’s thesis year: 2014 ident: e_1_2_1_56_1 – ident: e_1_2_1_44_1 doi: 10.7551/mitpress/2087.003.0012 – volume-title: Ozma: Extending Scala with Oz Concurrency. Master’s thesis. Université catholique de Louvain, Louvain-la-Neuve, Belgium(June). year: 2011 ident: e_1_2_1_19_1 – volume-title: Lagerkvist year: 2019 ident: e_1_2_1_117_1 – volume-title: Techniques, and Models of Computer Programming ident: e_1_2_1_102_1 – volume: 5 start-page: 4 year: 2005 ident: e_1_2_1_18_1 article-title: Book Review: Concepts, Techniques, and Models of Computer Programming publication-title: Journal of Theory and Practice of Logic Programming – volume-title: Concurrent Constraint Programming. In 17th ACM Symposium on Principles of Programming Languages (POPL 90) year: 1990 ident: e_1_2_1_65_1 – ident: e_1_2_1_30_1 doi: 10.1145/319301.319347 – ident: e_1_2_1_104_1 doi: 10.5555/646451.692926 – ident: e_1_2_1_16_1 – volume-title: Software Engineering ident: e_1_2_1_84_1 – ident: e_1_2_1_62_1 doi: 10.1142/S0129626403001562 – volume-title: The Role of Language Paradigms in Teaching Programming. In 34th Technical Symposium on Computer Science Education (SIGCSE year: 2003 ident: e_1_2_1_99_1 – volume-title: International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications (PDSIA 99) year: 1999 ident: e_1_2_1_93_1 – volume-title: Programming Constraint Services: High-Level Programming of Standard and New Constraint Services ident: e_1_2_1_73_1 – ident: e_1_2_1_57_1 doi: 10.5555/767676.768123 – volume-title: Second Workshop on Principles and Practice of Constraint Programming (Lecture Notes in Computer Science), Alan H ident: e_1_2_1_75_1 – volume-title: FlexClock: A Plastic Clock Written in Oz with the QTk Toolkit. In 1st International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA year: 2002 ident: e_1_2_1_29_1 – ident: e_1_2_1_120_1 – ident: e_1_2_1_123_1 – volume-title: The Craft of Prolog ident: e_1_2_1_60_1 – ident: e_1_2_1_87_1 doi: 10.1145/1283920.1283940 – volume-title: USENIX Annual Technical Conference. (June). year: 1998 ident: e_1_2_1_51_1 – volume-title: Oz Explorer: A Visual Constraint Programming Tool. In 14th International Conference on Logic Programming (ICLP 97) year: 1997 ident: e_1_2_1_68_1 – ident: e_1_2_1_107_1 – volume-title: Friar Tuck–A Constraint-Based Tournament-Scheduling Tool ident: e_1_2_1_36_1 – volume-title: Constraint-Based Round Robin Tournament Planning. In International Conference on Logic Programming (ICLP 99) year: 1999 ident: e_1_2_1_35_1 – volume-title: Simics: A Full System Simulation Platform year: 2002 ident: e_1_2_1_50_1 – volume-title: Fourth International Conference on Logic Programming (ICLP 87) year: 1987 ident: e_1_2_1_52_1 – volume: 3389 volume-title: 2nd International Conference on Multiparadigm Programming in Mozart/Oz (MOZ2004) year: 2004 ident: e_1_2_1_94_1 – ident: e_1_2_1_2_1 doi: 10.1016/0743-1066(93)90043-G – volume-title: KLIC: A Portable Implementation of KL1. In Fifth Generation Computing Systems (FGCS ’94). (Dec.), 66–79. year: 1994 ident: e_1_2_1_25_1 – volume-title: Ashenhurst and Susan Graham (Eds.) year: 1987 ident: e_1_2_1_4_1 – ident: e_1_2_1_11_1 doi: 10.1145/234286.1057820 – ident: e_1_2_1_5_1 doi: 10.1007/978-3-7091-7488-3_4 – ident: e_1_2_1_119_1 – ident: e_1_2_1_122_1 – volume-title: Coroutines and Networks of Parallel Processes. In IFIP Congress. 993–998 ident: e_1_2_1_45_1 – ident: e_1_2_1_121_1 – volume-title: On the Expressive Power of Programming Languages. In 3rd European Symposium on Programming (ESOP year: 1990 ident: e_1_2_1_23_1 – volume: 5 start-page: 101 year: 2011 ident: e_1_2_1_97_1 article-title: The CTM Approach for Teaching and Learning Programming. Vol. 2. Nova Science Publishers(Jan.) publication-title: Chapter – volume-title: On the Origin of Species by means of Natural Selection, or the Preservation of Favoured Races in the Struggle for Life year: 1964 ident: e_1_2_1_15_1 – volume-title: Editeur graphique réparti basé sur un modèle transactionnel (A distributed graphic editor ident: e_1_2_1_27_1 – volume: 3945 volume-title: Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. In 8th International Symposium on Functional and Logic Programming (FLOPS 2006) year: 2006 ident: e_1_2_1_95_1 – volume: 221 volume-title: Guarded Horn Clauses. In 4th International Conference on Logic Programming ’85 (Lecture Notes in Computer Science), Eiti Wada (Ed.) year: 1985 ident: e_1_2_1_89_1 – volume-title: Constraints: Basics and Trends year: 1994 ident: e_1_2_1_81_1 – volume-title: Comparing Trailing and Copying for Constraint Programming. In 1999 International Conference on Logic Programming (ICLP 99) year: 1999 ident: e_1_2_1_70_1 – ident: e_1_2_1_32_1 doi: 10.1145/266670.266726 – ident: e_1_2_1_41_1 doi: 10.1145/129393.129398 – volume: 6 start-page: 3 year: 1994 ident: e_1_2_1_91_1 article-title: Constraint logic programming publication-title: The Knowledge Engineering Review – volume-title: CorrectOz: Recognizing Common Mistakes in the Programming Exercises of a Computer Science MOOC. Master’s thesis ident: e_1_2_1_61_1 – ident: e_1_2_1_13_1 – ident: e_1_2_1_37_1 doi: 10.1287/opre.49.1.163.11193 – volume-title: Concurrent Constraint Programming ident: e_1_2_1_66_1 – ident: e_1_2_1_108_1 – ident: e_1_2_1_46_1 – ident: e_1_2_1_31_1 doi: 10.1007/BF03037481 – volume: 19 start-page: 5 year: 1997 ident: e_1_2_1_103_1 article-title: Mobile Objects in Distributed Oz publication-title: ACM Transactions on Programming Languages and Systems – volume: 12 start-page: 409 year: 2006 ident: e_1_2_1_53_1 article-title: Constraint Logic Programming. Vol. 2 publication-title: Chapter – volume-title: 2nd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL year: 2003 ident: e_1_2_1_85_1 – ident: e_1_2_1_88_1 doi: 10.1016/0743-1066(94)00038-8 – volume-title: Programming Paradigms of the Andorra Kernel Language. In 1991 International Symposium on Logic Programming (ISLP). The MIT Press year: 1991 ident: e_1_2_1_43_1 – start-page: 385 year: 1994 ident: e_1_2_1_92_1 article-title: 1983–1993: The Wonder Years of Sequential Prolog Implementation publication-title: Journal of Logic Programming 19/20 doi: 10.1016/0743-1066(94)90031-0 – volume-title: Second MOOC European Stakeholders Summit (EMOOCS’14). ident: e_1_2_1_12_1 – volume-title: Objects for Concurrent Constraint Programming ident: e_1_2_1_33_1 – ident: e_1_2_1_58_1 doi: 10.1016/j.tcs.2006.08.016 – volume-title: Scheme and Functional Programming Workshop (SFP). (Sept.), 81–92 ident: e_1_2_1_79_1 – ident: e_1_2_1_49_1 doi: 10.1145/1289971.1289980 – ident: e_1_2_1_14_1 – ident: e_1_2_1_115_1 – ident: e_1_2_1_17_1 – ident: e_1_2_1_6_1 – ident: e_1_2_1_78_1 doi: 10.1145/72551.72555 – volume: 1330 volume-title: Programming Constraint Inference Engines. In 3rd International Conference on Principles and Practice of Constraint Programming (Lecture Notes in Computer Science), Gert Smolka (Ed.) year: 1997 ident: e_1_2_1_69_1 – volume: 2362 volume-title: Second Kyoto Workshop on Digital Cities (Lecture Notes in Computer Science) year: 2001 ident: e_1_2_1_48_1 – volume: 33 start-page: 494 year: 1990 ident: e_1_2_1_90_1 article-title: Design of the Kernel Language for the Parallel Inference publication-title: Machine. Comput. J. – volume-title: The Art of Prolog–Advanced Programming Techniques ident: e_1_2_1_86_1 – volume: 8 start-page: 1 year: 1995 ident: e_1_2_1_7_1 article-title: A language with distributed scope publication-title: ACM Transactions on Computer Systems – ident: e_1_2_1_39_1 – ident: e_1_2_1_82_1 doi: 10.1007/3-540-46425-5 – volume-title: PERDIO: Persistence and Distributed Programming Systems(Feb.). Nutek project proposal, Sweden. year: 1996 ident: e_1_2_1_112_1 – ident: e_1_2_1_83_1 doi: 10.1016/0743-1066(94)90044-2 – ident: e_1_2_1_118_1 |
| SSID | ssj0001934839 |
| Score | 2.1203 |
| Snippet | 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... |
| SourceID | swepub crossref |
| SourceType | Open Access Repository Enrichment Source Index Database |
| StartPage | 1 |
| SubjectTerms | Calculations Computer programming Computer Science Concurrent constraint Concurrent logic programming Concurrent programming Constraint Logic Programming Dataflow Datalogi Distributed programming Foundational calculus Functional programming Layered Structures Lazy evaluation Logic programming Multi-paradigm languages Multiparadigm programming Programming course Programming education Programming paradigms PROLOG (programming language) |
| Title | A history of the Oz multiparadigm language |
| URI | https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-278174 https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928 |
| Volume | 4 |
| WOSCitedRecordID | wos000685202900016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2475-1421 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0001934839 issn: 2475-1421 databaseCode: M~E dateStart: 20170101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELYo9NBLW_oQC23lA-KAlDbxI7GPEW3FobArlSJukeMHjQpZlN0i4NDfXjt2QlbdIjhwsSJrYifzWePxeB4AbKMyNsJwEimSqIhkmkXMlDIy0pkwSIoV9sUmssNDdnLCJ6EE56wtJ5DVNbu64hePCrXts2C70NkHwN0PajvsswXdthZ2294L-DzkEL7urv_HN8FtUDRCVafnvY1yqJhO-o2s9e3I9w7cNULw3jp39oTurdmt0Goq1ToDfNeVGZoPUHwrXxDJaJQQH6D8US_pCwKSDNbB_njybSDvkuVSmLiEFfbwm2Kf5WJJSuvP1XFeTJvT4tf8Z4EyZk9GT8Aayih3jnkHfwaWMo4Ja0vC9V_no5_dPJ_CLAtqxULS11ZROHoJngcNH-YemXWwoutX4EVXPQMGYfoa7OYwAAWnBlqg4PgGLgAFO5a_AT--fjna249C5YpIYozmUWYMoVSJFMmklCVz_puxspoAxVksjZFYysSkEpVIc5VqqwZTUUrFEZIktRrlW7BaT2u9AWBSxnYgLpDAlBCNmRHUKIqkIELZzWEEdrofL2RI6-6qi5wVPuScFoFDIwB7wgufyeRfkh3PuZ7gP0iNwPZdhE1VEMYR27zveFvgmVub3rT1DqzOm9_6PXgqL-fVrPnQLoe_SAha3w |
| linkProvider | ISSN International Centre |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+history+of+the+Oz+multiparadigm+language&rft.jtitle=Proceedings+of+ACM+on+programming+languages&rft.au=Haridi%2C+Seif&rft.date=2020&rft.issn=2475-1421&rft.eissn=2475-1421&rft.volume=4&rft.issue=HOPL&rft.spage=1&rft_id=info:doi/10.1145%2F3386333&rft.externalDocID=oai_DiVA_org_kth_278174 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2475-1421&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2475-1421&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2475-1421&client=summon |