Advertisement

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
    4. Grégoire Dooms, Yves Deville, Pierre Dupont
      Pages 237-250
  10. Constraint Applications

    1. Raphaël Collet
      Pages 251-262
    2. Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda
      Pages 263-276
    3. Torsten Anders, Christina Anagnostopoulou, Michael Alcorn
      Pages 277-291
    4. Juan Francisco Díaz, Javier Andrés Mena
      Pages 292-304
    5. Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan F. Díaz, Camilo Rueda
      Pages 317-327
  11. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering