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

Access provided by Autonomous University of Puebla

Download book PDF

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.

Buy print copy

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

Keywords

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
      Download chapter PDF

  4. Computer Science Education

    1. A Program Verification System Based on Oz

      • Isabelle Dony, Baudouin Le Charlier
      Pages 41-52
      Download chapter PDF

    2. Higher Order Programming for Unordered Minds

      • Juris Reinfelds
      Pages 53-65
      Download chapter PDF

  5. Software Engineering

    1. Compiling Formal Specifications to Oz Programs

      • Tim Wahls
      Pages 66-77
      Download chapter PDF

    2. Deriving Acceptance Tests from Goal Requirements

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

  6. Human-Computer Interfaces and the Web

    1. Using Mozart for Visualizing Agent-Based Simulations

      • Hala Mostafa, Reem Bahgat
      Pages 89-102
      Download chapter PDF

    2. Web Technologies for Mozart Applications

      • Mahmoud Rafea
      Pages 103-112
      Download chapter PDF

    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
      Download chapter PDF

  7. Distributed Programming

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

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

    2. Thread-Based Mobility in Oz

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

    3. A Fault Tolerant Abstraction for Transparent Distributed Programming

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

  8. Grammars and Natural Language

    1. The CURRENT Platform: Building Conversational Agents in Oz

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

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

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

    3. The XDG Grammar Development Kit

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

  9. Constraint Research

    1. Solving CSP Including a Universal Quantification

      • Renaud De Landtsheer
      Pages 200-210
      Download chapter PDF

    2. Compositional Abstractions for Search Factories

      • Guido Tack, Didier Le Botlan
      Pages 211-223
      Download chapter PDF

    3. Implementing Semiring-Based Constraints Using Mozart

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

Other volumes

  1. Multiparadigm Programming in Mozart/Oz

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