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

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60117-1
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace