MOZ 2004: Charleroi, Belgium

Peter Van Roy (Ed.): Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3389 Springer 2005, ISBN 3-540-25079-4

Keynote Talk

Gert Smolka:
The Development of Oz and Mozart. 1

Security

Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro:
The Structure of Authority: Why Security Is Not a Separable Concern. 2-20
Fred Spiessens, Peter Van Roy:
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. 21-40

Computer Science Education

Isabelle Dony, Baudouin Le Charlier:
A Program Verification System Based on Oz. 41-52
Juris Reinfelds:
Higher Order Programming for Unordered Minds. 53-65

Software Engineering

Tim Wahls:
Compiling Formal Specifications to Oz Programs. 66-77
Jean-François Molderez, Christophe Ponsard:
Deriving Acceptance Tests from Goal Requirements. 78-88

Human-Computer Interfaces and the Web

Hala Mostafa, Reem Bahgat:
Using Mozart for Visualizing Agent-Based Simulations. 89-102
Mahmoud Rafea:
Web Technologies for Mozart Applications. 103-112
Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea:
Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. 113-124

Distributed Programming

Valentin Mesaros, Bruno Carton, Peter Van Roy:
P2PS: Peer-to-Peer Development Platform for Mozart. 125-136
Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi:
Thread-Based Mobility in Oz. 137-148
Donatien Grolaux, Kevin Glynn, Peter Van Roy:
A Fault Tolerant Abstraction for Transparent Distributed Programming. 149-160

Grammars and Natural Language

Torbjörn Lager, Fredrik Kronlid:
The CURRENT Platform: Building Conversational Agents in Oz. 161-174
Denys Duchier, Joseph Le Roux, Yannick Parmentier:
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture. 175-187
Ralph Debusmann, Denys Duchier, Joachim Niehren:
The XDG Grammar Development Kit. 188-199

Constraint Research

Renaud De Landtsheer:
Solving CSP Including a Universal Quantification. 200-210
Guido Tack, Didier Le Botlan:
Compositional Abstractions for Search Factories. 211-223
Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda:
Implementing Semiring-Based Constraints Using Mozart. 224-236
Grégoire Dooms, Yves Deville, Pierre Dupont:
A Mozart Implementation of CP(BioNet). 237-250

Constraint Applications

Raphaël Collet:
Playing the Minesweeper with Constraints. 251-262
Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda:
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. 263-276
Torsten Anders, Christina Anagnostopoulou, Michael Alcorn:
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model. 277-291
Juan Francisco Díaz, Javier Andrés Mena:
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming. 292-304
Jesús Aranda, Juan Francisco Díaz, V. James Ortíz:
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. 305-316
Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda:
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. 317-327

Last update Sat May 25 18:50:10 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page