Skip to main content
SpringerLink
Log in
Book cover

Programming Methodology

A Collection of Articles by Members of IFIP WG2.3

  • Textbook
  • © 1978

Overview

Editors:
  1. David Gries

    1. Department of Computer Science, Cornell University, Ithaca, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. A History of IFIP WG2.3 (Programming Methodology)

    1. A History of IFIP WG2.3 (Programming Methodology)

      • M. Woodger
      Pages 1-5

  3. Viewpoints on Programming

    1. Front Matter

      Pages 7-8
      Download chapter PDF

    2. The Humble Programmer

      • Edsger W. Dijkstra
      Pages 9-22

    3. Software Engineering

      • J. N. Buxton
      Pages 23-28

    4. Software Engineering— Some Principles and Problems

      • W. M. Turski
      Pages 29-36

    5. The Engineering of Software: A Startling Contradiction

      • C. A. R. Hoare
      Pages 37-41

    6. Programs, Cities, Students— Limits to Growth?

      • M. M. Lehman
      Pages 42-69

    7. On Structured Programming

      • David Gries
      Pages 70-74

  4. The Concern for Program Correctness

    1. Front Matter

      Pages 75-79
      Download chapter PDF

    2. Correctness Concerns and, among Other Things, Why They Are Resented

      • Edsger W. Dijkstra
      Pages 80-88

    3. An Axiomatic Basis for Computer Programming

      • C. A. R. Hoare
      Pages 89-100

    4. Proof of a Program: FIND

      • C. A. R. Hoare
      Pages 101-115

    5. An Approach to Correctness Proofs of Semicoroutines

      • Ole-Johan Dahl
      Pages 116-129

    6. An Axiomatic Proof Technique for Parallel Programs

      • Susan Owicki, David Gries
      Pages 130-152

    7. Programming with Transition Diagrams

      • John C. Reynolds
      Pages 153-165

    8. Guarded Commands, Nondeterminacy, and Formal Derivation of Programs

      • Edsger W. Dijkstra
      Pages 166-175

    9. A System which Automatically Improves Programs

      • J. Darlington, R. M. Burstall
      Pages 176-197

  5. Harnessing Parallelism

    1. Front Matter

      Pages 199-201
      Download chapter PDF

    2. Towards a Theory of Parallel Programming

      • C. A. Hoare
      Pages 202-214
Back to top

Keywords

About this book

This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming methodology that have helped define the field and give it direction. It is hoped that the scientist in the field will find the volume useful as a reference, while the scientist in neighboring fields will find it useful in seriously acquainting himself with important ideas in programming methodology. The advanced student can also study it-either in a course or by himself -in order to learn significant material that may not appear in texts for some time. The second reason for this volume is to make public the nature and work on programming methodology of IFIP Working Group 2.3, hereafter called WG2.3. (IFIP stands for International Federation for Information Processing.) WG2.3 is one of many IFIP Working Groups that have been established to provide international forums for discussion of ideas in various areas. Generally, these groups publish proceedings of some of their meetings and occasionally they sponsor a larger conference that persons outside a group can attend. WG2.3 has been something of a maverick in this respect. From the beginning the group has shunned paperwork, reports, meetings, and the like. This has meant less pUblicity for IFIP and WG2.3, but on the other hand it has meant that meetings could be devoted almost wholly to scientific discussions.

Editors and Affiliations

  • Department of Computer Science, Cornell University, Ithaca, USA

    David Gries

Bibliographic Information

  • Book Title: Programming Methodology

  • Book Subtitle: A Collection of Articles by Members of IFIP WG2.3

  • Editors: David Gries

  • Series Title: Monographs in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4612-6315-9

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York Inc 1978

  • Softcover ISBN: 978-1-4612-6317-3Published: 09 November 2011

  • eBook ISBN: 978-1-4612-6315-9Published: 06 December 2012

  • Series ISSN: 0172-603X

  • Series E-ISSN: 2512-5486

  • Edition Number: 1

  • Number of Pages: 437

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation