Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

  • Claude Bolduc
  • Jules Desharnais
  • Béchir Ktari
Conference proceedings MPC 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6120)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Roland Backhouse, Wei Chen, João F. Ferreira
      Pages 1-18
    2. Catuscia Palamidessi
      Pages 19-19
    3. Jane Hillston
      Pages 20-21
  3. Contributed Talks

    1. Rudolf Berghammer, Georg Struth
      Pages 22-41
    2. Eerke Boiten, Dan Grundy
      Pages 42-57
    3. Kasper Brink, Stefan Holdermans, Andres Löh
      Pages 58-79
    4. Yifeng Chen, J. W. Sanders
      Pages 80-99
    5. Nils Anders Danielsson, Thorsten Altenkirch
      Pages 100-118
    6. Brijesh Dongol, Ian J. Hayes
      Pages 119-139
    7. Walter Guttmann
      Pages 157-177
    8. Ian J. Hayes, Steve E. Dunne, Larissa Meinicke
      Pages 178-194
    9. Ralf Hinze
      Pages 195-228
    10. Piotr Kosiuczenko
      Pages 229-247
    11. Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
      Pages 248-270
    12. Hugo Daniel Macedo, José Nuno Oliveira
      Pages 271-287
    13. Louis Mandel, Florence Plateau, Marc Pouzet
      Pages 288-309
    14. Hugo Pacheco, Alcino Cunha
      Pages 331-352

About these proceedings

Keywords

CSP automated program construction automated program verification correct software correctness dynamic programming formal methods garbage collection generic programming kleene algebra predicative programming process algebras process semantics programming programming language

Editors and affiliations

  • Claude Bolduc
    • 1
  • Jules Desharnais
    • 1
  • Béchir Ktari
    • 1
  1. 1.Département d’informatique et de génie logiciel, Pavillon Adrien-PouliotUniversité LavalQuébecCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13321-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13320-6
  • Online ISBN 978-3-642-13321-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book