Skip to main content
  • Conference proceedings
  • © 2005

Multiparadigm Programming in Mozart/Oz

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

Editors:

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

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

Conference series link(s): MOZ: International Conference on Multiparadigm Programming in Mozart/OZ

Conference proceedings info: MOZ 2004.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

  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
  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. 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

Other Volumes

  1. Multiparadigm Programming in Mozart/Oz

Keywords

  • Compiler
  • Mozart
  • Mozart/OZ
  • computer security
  • concurrent programming
  • distributed programming
  • formal specification
  • multi-paradigm programming
  • programming
  • programming language
  • programming systems
  • programming theory
  • software security
  • systems security
  • verification

Editors and Affiliations

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

    Peter Roy

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions