Table of contents

  1. Front Matter
  2. Eric C. R. Hehner
    Pages 36-47
  3. David May, David Shepherd
    Pages 48-65
  4. Lambert Meertens
    Pages 66-90
  5. R. J. R. Back, K. Sere
    Pages 115-138
  6. R. J. R. Back, J. von Wright
    Pages 139-156
  7. A. Bijlsma
    Pages 157-173
  8. Wei Chen, Jan Tijmen Udding, Tom Verhoeff
    Pages 174-196
  9. Wei Chen, Jan Tijmen Udding
    Pages 197-218
  10. E. Pascal Gribomont
    Pages 219-238
  11. Martin C. Henson
    Pages 256-272
  12. Anne Kaldewaij, Berry Schoenmakers
    Pages 297-306
  13. C. Lengauer, J. W. Sanders
    Pages 307-324
  14. L. D. J. C. Loyens, R. H. Bisseling
    Pages 325-334
  15. Grant Malcolm
    Pages 335-347
  16. Bernhard Möller
    Pages 348-362
  17. Douglas R. Smith, Michael R. Lowry
    Pages 379-398
  18. Jaap van der Woude
    Pages 409-420
  19. Back Matter

About these proceedings


The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.


Computer Hardware Programmspezifikation und Transformation Programmverifikation Schrittweise Verfeinerung Software-Erstellung Verteilte Systeme algorithm algorithms calculus logic object object-oriented programming programming verification

Bibliographic information

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