Mathematics of Program Construction

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

  • Editors
  • Philippe Audebaud
  • Christine Paulin-Mohring

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-540-70594-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70593-2
  • Online ISBN 978-3-540-70594-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book