Table of contents

  1. Front Matter
  2. C. A. R. Hoare
    Pages 11-42
  3. Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens
    Pages 43-56
  4. Per Brinch Hansen
    Pages 82-110
  5. F. L. Bauer
    Pages 153-182
  6. C. A. R. Hoare
    Pages 183-193
  7. F. L. Bauer
    Pages 194-241
  8. C. A. R. Hoare
    Pages 242-265
  9. G. Seegmüller
    Pages 266-292
  10. A. P. Ershov
    Pages 358-428

About these proceedings

Keywords

Language Programmiersprache Programmierung (EDV) calculus operating system programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-07994-7
  • Copyright Information Springer-Verlag 1976
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07994-1
  • Online ISBN 978-3-540-37972-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book