Table of contents

  1. Front Matter
  2. Richard S. Bird
    Pages 2-17
  3. Manfred Broy
    Pages 18-48
  4. Natarajan Shankar
    Pages 50-66
  5. Ralph-Johan Back, Michael Butler
    Pages 128-158
  6. R. J. R. Back, A. J. Martin, K. Sere
    Pages 159-179
  7. Rudolf Berghammer, Burghard von Karger
    Pages 180-196
  8. Sharon Curtis, Gavin Lowe
    Pages 214-231
  9. Victor J. Dielissen, Anne Kaldewaij
    Pages 232-241
  10. Henk Doornbos, Roland Backhouse
    Pages 242-256
  11. M. Frappier, A. Mili, J. Desharnais
    Pages 257-281
  12. Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
    Pages 304-321
  13. Wim H. Hesselink
    Pages 322-334
  14. Yellamraju V. Srinivas, Richard Jüllig
    Pages 399-422
  15. Rob T. Udink, Joost N. Kok
    Pages 452-472
  16. Back Matter

About these proceedings


This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.
Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.


Formale Methoden Programmimplementierung Programmkonstruktionen Verifikation algorithm algorithms formal methods program construction program implementation program semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60117-3
  • Online ISBN 978-3-540-49445-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment