Table of contents

  1. Front Matter
  2. David Harel
    Pages 1-5
  3. John Hughes
    Pages 6-6
  4. Burghard von Karger
    Pages 7-22
  5. Rudolf Berghammer, Burghard von Karger, Andreas Wolf
    Pages 23-43
  6. Richard Bird, Lambert Meertens
    Pages 52-67
  7. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
    Pages 68-95
  8. Thomas Brunn, Bernhard Möller, Martin Russling
    Pages 96-121
  9. Henning Dierks, Michael Schenke
    Pages 122-150
  10. Rutger M. Dijkstra
    Pages 151-174
  11. W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder
    Pages 175-187
  12. C. J. Fidge, I. J. Hayes, A. P. Martin, A. K. Wabenhorst
    Pages 188-206
  13. Jeremy Gibbons
    Pages 207-233
  14. K. Rustan, M. Leino, Rajeev Joshi
    Pages 254-271
  15. Rajit Manohar, Alain J. Martin
    Pages 272-285
  16. Matteo Vaccari, Roland Backhouse
    Pages 365-382

About these proceedings


This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.


Algebraic Specification Formal Verification Hardware Program Construction Program Semantics Program Transformation algorithm algorithms design formal method

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64591-7
  • Online ISBN 978-3-540-69345-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods