Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

Multiparadigm Programming in Mozart/Oz

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

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)

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

Conference proceedings info: MOZ 2004.

Sections

Buy it now

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

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

Table of contents (26 papers)

  1. Front Matter

    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

  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

    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

Back to top

Keywords

Back to top

Editors and Affiliations

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

    Peter Roy

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation