Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

  • Tarmo Uustalu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4014)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Robin Cockett
      Pages 1-3
    2. Olivier Danvy
      Pages 4-4
    3. Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni et al.
      Pages 5-9
  3. Contributed Papers

    1. Kamal Aboul-Hosn, Dexter Kozen
      Pages 29-48
    2. Philippe Audebaud, Christine Paulin-Mohring
      Pages 49-68
    3. Roland Backhouse, Diethard Michaelis
      Pages 69-81
    4. Richard S. Bird
      Pages 90-114
    5. Yifeng Chen, J. W. Sanders
      Pages 115-139
    6. Jeremy Gibbons
      Pages 162-179
    7. Ralf Hinze, Andres Löh
      Pages 180-208
    8. Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
      Pages 209-234
    9. Jevgeni Kabanov, Varmo Vene
      Pages 235-252
    10. Wolfram Kahl, Jacques Carette, Xiaoheng Ji
      Pages 253-273
    11. Clare E. Martin, Sharon A. Curtis
      Pages 274-298
    12. Ralph Matthes
      Pages 299-315
    13. Larissa Meinicke, Ian J. Hayes
      Pages 316-337

About these proceedings

Keywords

Coq algorithm algorithmics algorithms correct software dynamic programming formal methods generic programming kleene algebra object oriented design program analysis program construction programming programming language semantics

Editors and affiliations

  • Tarmo Uustalu
    • 1
  1. 1.Institute of Cybernetics at Tallinn University of TechnologyTallinn

Bibliographic information

  • DOI https://doi.org/10.1007/11783596
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-35631-8
  • Online ISBN 978-3-540-35632-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book