Skip to main content
SpringerLink
Log in

Multiparadigm Programming in Mozart/Oz

Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Peter Roy

    1. Department of Computing Science and Engineering, Université catholique de Louvain, Louvain-la-Neuve, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3389)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MOZ 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talk

    1. The Development of Oz and Mozart

      • Gert Smolka
      Pages 1-1

  3. Security

    1. The Structure of Authority: Why Security Is Not a Separable Concern

      • Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
      Pages 2-20

    2. The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language

      • Fred Spiessens, Peter Van Roy
      Pages 21-40

  4. Computer Science Education

    1. A Program Verification System Based on Oz

      • Isabelle Dony, Baudouin Le Charlier
      Pages 41-52

    2. Higher Order Programming for Unordered Minds

      • Juris Reinfelds
      Pages 53-65

  5. Software Engineering

    1. Compiling Formal Specifications to Oz Programs

      • Tim Wahls
      Pages 66-77

    2. Deriving Acceptance Tests from Goal Requirements

      • Jean-François Molderez, Christophe Ponsard
      Pages 78-88

  6. Human-Computer Interfaces and the Web

    1. Using Mozart for Visualizing Agent-Based Simulations

      • Hala Mostafa, Reem Bahgat
      Pages 89-102

    2. Web Technologies for Mozart Applications

      • Mahmoud Rafea
      Pages 103-112

    3. Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach

      • Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea
      Pages 113-124

  7. Distributed Programming

    1. P2PS: Peer-to-Peer Development Platform for Mozart

      • Valentin Mesaros, Bruno Carton, Peter Van Roy
      Pages 125-136

    2. Thread-Based Mobility in Oz

      • Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
      Pages 137-148

    3. A Fault Tolerant Abstraction for Transparent Distributed Programming

      • Donatien Grolaux, Kevin Glynn, Peter Van Roy
      Pages 149-160

  8. Grammars and Natural Language

    1. The CURRENT Platform: Building Conversational Agents in Oz

      • Torbjörn Lager, Fredrik Kronlid
      Pages 161-174

    2. The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture

      • Denys Duchier, Joseph Le Roux, Yannick Parmentier
      Pages 175-187

    3. The XDG Grammar Development Kit

      • Ralph Debusmann, Denys Duchier, Joachim Niehren
      Pages 188-199

  9. Constraint Research

    1. Solving CSP Including a Universal Quantification

      • Renaud De Landtsheer
      Pages 200-210

    2. Compositional Abstractions for Search Factories

      • Guido Tack, Didier Le Botlan
      Pages 211-223

    3. Implementing Semiring-Based Constraints Using Mozart

      • Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
      Pages 224-236
Back to top

Other volumes

  1. Multiparadigm Programming in Mozart/Oz

Keywords

Editors and Affiliations

  • Department of Computing Science and Engineering, Université catholique de Louvain, Louvain-la-Neuve, Belgium

    Peter Roy

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation