Selected Research Papers on Oz

Jump to:

Books | General | Constraints | Distribution | Implementation

---

Books

• Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004 (2005) Peter Van Roy (Ed.)

• Concepts, Techniques, and Models of Computer Programming (2004) Peter Van Roy and Seif Haridi

• Programming Constraint Services (2002) Christian Schulte

• Concurrent Constraint Programming in Oz for Natural Language Processing (1998) Denys Duchier and Claire Gardent and Joachim Niehren

• Objects for Concurrent Constraint Programming (1997) Martin Henz

General

• Peter Van Roy. The CTM Approach for Teaching and Learning Programming, Chapter 5, Horizons in Computer Science Research, Volume 2, Nova Science Publishers, Jan. 2011, pages 101-126.

• Peter Van Roy. Programming Paradigms for Dummies: What Every Programmer Should Know, New Computational Paradigms for Computer Music, G. Assayag and A. Gerzso (eds.), IRCAM/Delatour France, June 2009.

• Donatien Grolaux. Transparent Migration and Adaptation in a Graphical User Interface Toolkit, Ph.D. dissertation, Department of Computing Science and Engineering, Université catholique de Louvain, Sep. 2007.

• Peter Van Roy. Convergence in language design: a case of lightning striking four times in the same place, invited talk, Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), Fuji Susono, Japan, Springer-Verlag LNCS volume 3945, April 2006.

• Fred Spiessens and Peter Van Roy. The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language, Springer-Verlag LNCS volume 3389, March 2005.

• Alfred Spiessens, Raphaël Collet, and Peter Van Roy. Declarative Laziness in a Concurrent Constraint Language, 2nd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL 2003), at the 9th International Conference on Principles and Practice of Constraint Programming (CP2003), Kinsale, Ireland, Sep. 2003.

• Logic programming in the context of multiparadigm programming: the Oz experience (2003) Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, and Christian Schulte

• QTk – An Integrated Model-Based Approach to Designing Executable User Interfaces (2001) Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt

• Beta Reduction Constraints (2001) Manuel Bodirsky

• QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces (2001) Donatien Grolaux, Peter Van Roy, and Jean Vanderdonckt

• Uniform Confluence in Concurrent Computation (2000) Joachim Niehren

• Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter (2000) Thorsten Brunklaus

• Mozart: A Programming System for Agent Applications (1999) Peter Van Roy and Seif Haridi

• Logic Programming in Oz with Mozart (1999) Peter Van Roy

• Ein Debugger für Oz (1999) Benjamin Lorenz

• A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling (1998) Denys Duchier, Leif Kornstaedt, Christian Schulte, and Gert Smolka

• Futures and By-need synchronization (1998) Michael Mehl, Christian Schulte, Gert Smolka

• Concurrent Constraint Programming Based on Functional Programming (1998) Gert Smolka

• Objects in Oz (1997) Martin Henz

• Definition und Implementierung eines Front-End-Generators für Oz (1996) Leif Kornstaedt

• Functional Computation as Concurrent Computation (1996) Joachim Niehren

• Object-Oriented Concurrent Constraint Programming in Oz (1995) Martin Henz, Gert Smolka, and Jörg Würtz

• Constraints for Free in Concurrent Computation (1995) Joachim Niehren and Martin Müller

• The Oz Programming Model (1995) Gert Smolka

• Multi-Paradigm Programming in Oz (1995) Martin Müller, Tobias Müller, and Peter Van Roy

• A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards (1994) Gert Smolka

• A Foundation for Higher-order Concurrent Constraint Programming (1994) Gert Smolka

Constraints

• Constraint Propagation in Mozart (2001) Tobias Müller

• Programming Constraint Services (2000) Christian Schulte

• Promoting Constraints to First-class Status (2000) Tobias Müller

• Parallel Search Made Simple (2000) Christian Schulte

• Programming Deep Concurrent Constraint Combinators (2000) Christian Schulte

• Comparing Trailing and Copying for Constraint Programming (1999) Christian Schulte

• A Constraint-Based Treatment of Descriptions (1999) Denys Duchier and Claire Gardent

• Scheduling a Major College Basketball Conference - Revisited (1998) Martin Henz

• Off-Line Scheduling of a Real-Time System (1998) Klaus Schild and Jörg Würtz

• Solving Set Partitioning Problems with Constraint Programming (1998) Tobias Müller

• Finite Set Constraints in Oz (1997) Tobias Müller and Martin Müller

• Programming Constraint Inference Engines (1997) Christian Schulte

• Oz Explorer: A Visual Constraint Programming Tool (1997) Christian Schulte

• Situated Simplification (1997) Andreas Podelski and Gert Smolka

• Constraint-Based Scheduling in Oz (1997) Jörg Würtz

• Problem Solving with Constraints and Programming (1996) Gert Smolka

• Interfacing Propagators with a Concurrent Constraint Language (1996) Tobias Müller and Jörg Würtz

• Oz Scheduler: A Workbench for Scheduling Problems (1996) Jörg Würtz

• COMPOzE-Intention-based Music Composition through Constraint Programming (1996) Martin Henz, Stefan Lauer, and Detlev Zimmermann

• Don’t Be Puzzled! (1996) Martin Henz

• Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions (1996) Joachim P. Walser

• Using Oz for College Time Tabling (1995) Martin Henz and Jörg Würtz

• Records for Logic Programming (1994) Gert Smolka and Ralf Treinen

• Encapsulated Search and Constraint Programming in Oz (1994) Christian Schulte, Gert Smolka, and Jörg Würtz

• Encapsulated Search in Higher-order Concurrent Constraint Programming (1994) Christian Schulte and Gert Smolka

Distribution

• Géry Debongnie, Raphaël Collet, Sébastien Doeraene, and Peter Van Roy. Modular Fault Handling in a Network-Transparent Language, 5th International Workshop on Exception Handling (WEH 12), Zurich, Switzerland, June 9, 2012.
• Boris Mejías. Beernet: A Relaxed Approach to the Design of Scalable Systems with Self-Managing Behaviour and Transactional Robust Storage, Ph.D. dissertation, ICTEAM Institute (formerly Department of Computing Science and Engineering), Université catholique de Louvain, Oct. 2010.
• Boris Mejías, Alfredo Cádiz, and Peter Van Roy. Beernet: RMI-Free Peer-to-Peer Networks, First International Workshop on Distributed Objects for the 21st Century, colocated with ECOOP 2009, Genova, Italy, July 7, 2009.
• Boris Mejías and Peter Van Roy. The Relaxed Ring: A Fault-Tolerant Topology for Structured Overlay Networks, Journal of Parallel Processing Letters, 18(3), Sep. 2008.
• Boris Mejías and Peter Van Roy. A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks, XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), Iquique, Chile, Nov. 8-9, 2007.

• Raphaël Collet and Peter Van Roy. Failure Handling in a Network-Transparent Distributed Programming Language, Recent Advances in Exception Handling Techniques, Springer-Verlag LNCS volume 4119, 2006.

• The Limits of Network Transparency in a Distributed Programming Language (2007) Raphaël Collet

• Fault-Tolerant Mobile Agents in Mozart (2000) Iliès Alouini, Peter Van Roy

• On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart (1999) Peter Van Roy

• A Lightweight Reliable Object Migration Protocol (1999) Peter Van Roy, Per Brand, Seif Haridi, and Raphaël Collet

• A new mobile state protocol for Distributed Oz (1999) Mustapha Hadim and Peter Van Roy

• Le protocole réparti de Distributed Oz (In French) (1999) Iliès Alouini and Peter Van Roy

• Efficient Logic Variables for Distributed Computing (PDF) (1999) Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, and Gert Smolka

• A Platform for Constructing Virtual Spaces (1998) Per Brand, Nils Franzen, Erik Klintskog, and Seif Haridi

• Programming Languages for Distributed Applications (1998) Seif Haridi, Peter Van Roy, Per Brand, and Christian Schulte

• Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf Scheidhauer. Mobile Objects in Distributed Oz (abstract), ACM Transactions on Programming Languages and Systems (TOPLAS), Sep. 1997, pp. 804-851.

• An Overview of the Design of Distributed Oz (1997) Seif Haridi, Peter Van Roy, and Gert Smolka

Implementation

• An Oz Implementation Using Truffle and Graal (2017) Maxime Istasse

• Extending Mozart 2 to Support Multicore Processors (2014) Benoit Daloze

• Comprehensions in Mozart (2014) Francois Fonteyn

• The Oz Virtual Machine - Records, Transients, and Deep Guards (1999) Michael Mehl

• Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz (1998) Ralf Scheidhauer

• A Parallel Abstract Machine for the Thread-Based Concurrent Constraint Language Oz (1997) Konstantin Popov

• Integrating Efficient Records into Concurrent Constraint Programming (1996) Peter Van Roy, Michael Mehl, and Ralf Scheidhauer

• Constructive Disjunction Revisited (1996) Jörg Würtz and Tobias Müller

• An Abstract Machine for Oz (1995) Michael Mehl, Ralf Scheidhauer, and Christian Schulte

• Constructive Disjunction in Oz (1995) Tobias Müller and Jörg Würtz

• Adding Constraint Systems to DFKI Oz (1995) Tobias Müller