Advertisement

Theoretical Foundations of Programming Methodology

Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

  • Manfred Broy
  • Gunther Schmidt

Part of the NATO Advanced Study Institutes Series book series (ASIC, volume 91)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Program Development and Verification

    1. Front Matter
      Pages 1-1
    2. Edsger W. Dijkstra
      Pages 3-17
    3. Edsger W. Dijkstra
      Pages 19-23
    4. Joseph M. Morris
      Pages 25-34
    5. Joseph M. Morris
      Pages 35-41
    6. Joseph M. Morris
      Pages 43-51
    7. Sharon Sickel
      Pages 103-133
    8. Edsger W. Dijkstra
      Pages 135-141
  3. Denotational Semantics

    1. Front Matter
      Pages 143-143
    2. Joseph E. Stoy
      Pages 293-325
  4. Abstract Data Types

    1. Front Matter
      Pages 327-327
    2. Martin Wirsing, Manfred Broy
      Pages 351-413
  5. Infinite Structures

    1. Front Matter
      Pages 415-415
    2. Bruno Courcelle
      Pages 417-471
  6. Concurrent Programs

    1. Front Matter
      Pages 553-553
    2. Edsger W. Dijkstra
      Pages 555-564
    3. W. H. Kaubisch, C. A. R. Hoare
      Pages 625-642
    4. C. A. R. Hoare, R. M. McKeag
      Pages 643-658

About this book

Keywords

Derivation Finite algebra calculus proof

Editors and affiliations

  • Manfred Broy
    • 1
  • Gunther Schmidt
    • 1
  1. 1.Institut für Informatik der Technischen Universität MünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-7893-5
  • Copyright Information Springer Science+Business Media B.V. 1982
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-277-1462-6
  • Online ISBN 978-94-009-7893-5
  • Series Print ISSN 1389-2185
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences