© 1978

Programming Methodology

A Collection of Articles by Members of IFIP WG2.3

  • David Gries

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. A History of IFIP WG2.3 (Programming Methodology)

  3. Viewpoints on Programming

    1. Front Matter
      Pages 7-8
    2. Edsger W. Dijkstra
      Pages 9-22
    3. J. N. Buxton
      Pages 23-28
    4. David Gries
      Pages 70-74
  4. The Concern for Program Correctness

    1. Front Matter
      Pages 75-79
    2. C. A. R. Hoare
      Pages 89-100
    3. C. A. R. Hoare
      Pages 101-115
    4. Susan Owicki, David Gries
      Pages 130-152
    5. John C. Reynolds
      Pages 153-165
    6. J. Darlington, R. M. Burstall
      Pages 176-197
  5. Harnessing Parallelism

    1. Front Matter
      Pages 199-201
    2. C. A. Hoare
      Pages 202-214

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.


Pascal Processing Programmierung (EDV) algebra computer data structures operating system programming programming language time

Editors and affiliations

  • David Gries
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Bibliographic information

  • Book Title Programming Methodology
  • Book Subtitle A Collection of Articles by Members of IFIP WG2.3
  • Editors David Gries
  • Series Title Texts and Monographs in Computer Science
  • DOI
  • Copyright Information Springer-Verlag New York 1978
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-0-387-90329-3
  • Softcover ISBN 978-1-4612-6317-3
  • eBook ISBN 978-1-4612-6315-9
  • Series ISSN 0172-603X
  • Edition Number 1
  • Number of Pages , 437
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Computer Science, general
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods