© 2008

Mathematics of Program Construction

9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

  • Editors
  • Philippe Audebaud
  • Christine Paulin-Mohring
Conference proceedings MPC 2008

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

Table of contents

  1. Front Matter
  2. Ralf Hinze
    Pages 1-1
  3. Barry Jay, Simon Peyton Jones
    Pages 2-27
  4. Greg Morrisett
    Pages 28-28
  5. Andreas Abel, Thierry Coquand, Peter Dybjer
    Pages 29-56
  6. Roland Backhouse
    Pages 57-78
  7. Roland Backhouse, João F. Ferreira
    Pages 79-91
  8. Richard S. Bird
    Pages 92-109
  9. Jeremy Gibbons
    Pages 110-133
  10. Roland Glück, Bernhard Möller
    Pages 134-152
  11. William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter
    Pages 153-176
  12. Dexter Kozen, Wei-Lung Dustin Tseng
    Pages 177-192
  13. Ralf Lämmel, Ondrej Rypacek
    Pages 193-219
  14. Larissa Meinicke, Ian J. Hayes
    Pages 243-267
  15. Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
    Pages 268-283
  16. Yann Régis-Gianas, François Pottier
    Pages 305-335
  17. Jules Desharnais, Georg Struth
    Pages 360-387

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.

The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.


algorithm algorithmics algorithms formal methods generic programming kleene algebra predicative programming program analysis program development program verification programming programming calculi programming language semantics type theory

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment