Abstract is missing.
- The Development of Oz and MozartGert Smolka. 1 [doi]
- The Structure of Authority: Why Security Is Not a Separable ConcernMark Samuel Miller, Bill Tulloh, Jonathan S. Shapiro. 2-20 [doi]
- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming LanguageFred Spiessens, Peter Van Roy. 21-40 [doi]
- A Program Verification System Based on OzIsabelle Dony, Baudouin Le Charlier. 41-52 [doi]
- Higher Order Programming for Unordered MindsJuris Reinfelds. 53-65 [doi]
- Compiling Formal Specifications to Oz ProgramsTim Wahls. 66-77 [doi]
- Deriving Acceptance Tests from Goal RequirementsJean-François Molderez, Christophe Ponsard. 78-88 [doi]
- Using Mozart for Visualizing Agent-Based SimulationsHala Mostafa, Reem Bahgat. 89-102 [doi]
- Web Technologies for Mozart ApplicationsMahmoud Rafea. 103-112 [doi]
- Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm ApproachSameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea. 113-124 [doi]
- P2PS: Peer-to-Peer Development Platform for MozartValentin Mesaros, Bruno Carton, Peter Van Roy. 125-136 [doi]
- Thread-Based Mobility in OzDragan Havelka, Christian Schulte, Per Brand, Seif Haridi. 137-148 [doi]
- A Fault Tolerant Abstraction for Transparent Distributed ProgrammingDonatien Grolaux, Kevin Glynn, Peter Van Roy. 149-160 [doi]
- The CURRENT Platform: Building Conversational Agents in OzTorbjörn Lager, Fredrik Kronlid. 161-174 [doi]
- The Metagrammar Compiler: An NLP Application with a Multi-paradigm ArchitectureDenys Duchier, Joseph Le Roux, Yannick Parmentier. 175-187 [doi]
- The XDG Grammar Development KitRalph Debusmann, Denys Duchier, Joachim Niehren. 188-199 [doi]
- Solving CSP Including a Universal QuantificationRenaud De Landtsheer. 200-210 [doi]
- Compositional Abstractions for Search FactoriesGuido Tack, Didier Le Botlan. 211-223 [doi]
- Implementing Semiring-Based Constraints Using MozartAlberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda. 224-236 [doi]
- A Mozart Implementation of CP(BioNet)Grégoire Dooms, Yves Deville, Pierre Dupont. 237-250 [doi]
- Playing the Minesweeper with ConstraintsRaphaël Collet. 251-262 [doi]
- Using Constraint Programming for Reconfiguration of Electrical Power Distribution NetworksJuan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda. 263-276 [doi]
- Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming ModelTorsten Anders, Christina Anagnostopoulou, Michael Alcorn. 277-291 [doi]
- Solving the Aircraft Sequencing Problem Using Concurrent Constraint ProgrammingJuan Francisco Díaz, Javier Andrés Mena. 292-304 [doi]
- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and HeuristicsJesús Aranda, Juan Francisco Díaz, V. James Ortíz. 305-316 [doi]
- An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint EngineAlberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda. 317-327 [doi]