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

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 algorithm analysis and problem complexity

Bibliographic information

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