Mathematics of Program Construction

6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

  • Eerke A. Boiten
  • Bernhard Möller
Conference proceedings MPC 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talks

  3. Contributed Papers

    1. Kevin Backhouse, Roland Backhouse
      Pages 23-39
    2. William Harrison, Tim Sheard, James Hook
      Pages 68-93
    3. Ian J. Hayes
      Pages 94-116
    4. Wim H. Hesselink
      Pages 117-130
    5. Ralf Hinze, Johan Jeuring, Andres Löh
      Pages 148-174
    6. Yanhong A. Liu, Fuxiang Yu
      Pages 195-208
    7. Shin-Cheng Mu, Richard Bird
      Pages 209-232
    8. Joakim von Wright
      Pages 233-262
  4. Back Matter
    Pages 263-263

About these proceedings

Keywords

D programming language Haskell Variable algorithms computer science language program transformation programming programming language semantics verification

Editors and affiliations

  • Eerke A. Boiten
    • 1
  • Bernhard Möller
    • 2
  1. 1.Computing LaboratoryUniversity of Kent at CanterburyCanterburyUK
  2. 2.Institut für InformatikUniversität AugsburgAugsburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45442-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43857-1
  • Online ISBN 978-3-540-45442-7
  • Series Print ISSN 0302-9743
  • About this book