Multiparadigm Programming in Mozart/Oz

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

  • Peter Van Roy
Conference proceedings MOZ 2004

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

Table of contents

  1. Front Matter
  2. Keynote Talk

    1. Gert Smolka
      Pages 1-1
  3. Security

    1. Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
      Pages 2-20
  4. Computer Science Education

    1. Isabelle Dony, Baudouin Le Charlier
      Pages 41-52
    2. Juris Reinfelds
      Pages 53-65
  5. Software Engineering

    1. Jean-François Molderez, Christophe Ponsard
      Pages 78-88
  6. Human-Computer Interfaces and the Web

    1. Hala Mostafa, Reem Bahgat
      Pages 89-102
    2. Mahmoud Rafea
      Pages 103-112
    3. Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea
      Pages 113-124
  7. Distributed Programming

    1. Valentin Mesaros, Bruno Carton, Peter Van Roy
      Pages 125-136
    2. Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
      Pages 137-148
    3. Donatien Grolaux, Kevin Glynn, Peter Van Roy
      Pages 149-160
  8. Grammars and Natural Language

    1. Torbjörn Lager, Fredrik Kronlid
      Pages 161-174
    2. Denys Duchier, Joseph Le Roux, Yannick Parmentier
      Pages 175-187
    3. Ralph Debusmann, Denys Duchier, Joachim Niehren
      Pages 188-199
  9. Constraint Research

    1. Renaud De Landtsheer
      Pages 200-210
    2. Guido Tack, Didier Le Botlan
      Pages 211-223
    3. Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
      Pages 224-236

About these proceedings

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

  • Peter Van Roy
    • 1
  1. 1.Department of Computing Science and EngineeringUniversité catholique de LouvainLouvain-la-NeuveBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/b106627
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25079-1
  • Online ISBN 978-3-540-31845-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering