Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
Mon 21 Jun 2021 10:45 - 11:45 at HOPL - Monday Morning Chair(s): Tomas Petricek, Vijay Saraswat

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 {\em 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.

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Monday MorningPapers at HOPL
Chair(s): Tomas Petricek University of Kent, Vijay Saraswat IBM TJ Watson Research Center
09:00
75m
Talk
History of Logo
Papers
Cynthia Solomon Cynthia Solomon Consulting, Brian Harvey University of California, Berkeley, Ken Kahn University of Oxford, Henry Lieberman MIT Computer Science and Artificial Intelligence Lab (CSAIL), Mark Miller Learningtech.org and Northeastern University, Margaret Minsky New York University Shanghai, Artemis Papert Independent Artist, Brian Silverman Playful Invention Co.
DOI
10:45
60m
Talk
A history of the Oz multiparadigm language
Papers
Peter Van Roy Université catholique de Louvain, Seif Haridi KTH Royal Institute of Technology, Sweden, Christian Schulte KTH Royal Institute of Technology, Gert Smolka Saarland University
DOI