Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

  • Dexter Kozen
Conference proceedings MPC 2004

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Greg Nelson
      Pages 1-1
  3. Contributed Papers

    1. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
      Pages 2-15
    2. Artem Alimarine, Sjaak Smetsers
      Pages 16-31
    3. Frank Atanassow, Johan Jeuring
      Pages 32-53
    4. Mike Barnett, David A. Naumann
      Pages 54-84
    5. Nils Anders Danielsson, Patrik Jansson
      Pages 85-109
    6. Therrezinha Fernandes, Jules Desharnais
      Pages 110-128
    7. Hitoshi Furusawa
      Pages 129-141
    8. Jeremy Gibbons
      Pages 142-168
    9. Eric C. R. Hehner
      Pages 169-185
    10. Ralf Hinze
      Pages 186-210
    11. Graham Hutton, Joel Wright
      Pages 211-227
    12. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
      Pages 228-251
    13. Bernhard Möller
      Pages 252-273
    14. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
      Pages 289-313
    15. Ulf Norell, Patrik Jansson
      Pages 314-333
    16. José Nuno Fonseca de Oliveira, César de Jesus Pereira Cunha Rodrigues
      Pages 334-356

About these proceedings

Keywords

D programming language Exception Java Reversible Computing correct software formal methods generic programming kleene algebra modeling predicative programming program analysis program construction program development program verification type theory

Editors and affiliations

  • Dexter Kozen
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b98756
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22380-1
  • Online ISBN 978-3-540-27764-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book