This book constitutes the thoroughly refereed extended postproceedings of the Second International Mozart/OZ Conference, MOZ 2004, held in Charleroi, Belgium in October 2004. Besides the 23 papers taken from the workshop, 2 invited papers were especially written for presentation in this book.
The papers are organized in topical sections on language-based computer security, computer science education, software engineering, human-computer interfaces and the Web, distributed programming, grammars and natural language, constraint programming, and constraint applications.
Author(s): Gert Smolka (auth.), Peter Van Roy (eds.)
Series: Lecture Notes in Computer Science 3389 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 336
Tags: Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Programming Techniques; Operating Systems
Front Matter....Pages -
The Development of Oz and Mozart....Pages 1-1
The Structure of Authority: Why Security Is Not a Separable Concern....Pages 2-20
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language....Pages 21-40
A Program Verification System Based on Oz....Pages 41-52
Higher Order Programming for Unordered Minds....Pages 53-65
Compiling Formal Specifications to Oz Programs....Pages 66-77
Deriving Acceptance Tests from Goal Requirements....Pages 78-88
Using Mozart for Visualizing Agent-Based Simulations....Pages 89-102
Web Technologies for Mozart Applications....Pages 103-112
Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach....Pages 113-124
P2PS: Peer-to-Peer Development Platform for Mozart....Pages 125-136
Thread-Based Mobility in Oz....Pages 137-148
A Fault Tolerant Abstraction for Transparent Distributed Programming....Pages 149-160
The CURRENT Platform: Building Conversational Agents in Oz....Pages 161-174
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture....Pages 175-187
The XDG Grammar Development Kit....Pages 188-199
Solving CSP Including a Universal Quantification....Pages 200-210
Compositional Abstractions for Search Factories....Pages 211-223
Implementing Semiring-Based Constraints Using Mozart....Pages 224-236
A Mozart Implementation of CP(BioNet)....Pages 237-250
Playing the Minesweeper with Constraints....Pages 251-262
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks....Pages 263-276
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model....Pages 277-291
Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming....Pages 292-304
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics....Pages 305-316
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine....Pages 317-327
Back Matter....Pages -
