Current ideas in programming methodology

  • David Gries
II. Program Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)


Assignment Statement Correctness Proof Correct Program Loop Body Average Programmer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Buxton, J.N., P. Naur, and B. Randell (eds.) Software Engineering Concepts and Techniques. Petrocelli/Charter, New York. (Reports on NATO conferences held in Garmisch, Oct. 1968, and Rome, Oct. 1969)Google Scholar
  2. Conway, R. and D. Gries. An Introduction to Programming: a structured approach. Winthrop, Cambridge, Mass. 1973 (3rd edition, 1978).Google Scholar
  3. Dahl, O.J., E.W. Dijkstra, and C.A.R. Hoare. Structured Programming. Academic Press, London, 1972.Google Scholar
  4. Dijkstra, E.W. "Notes on Structured Programming". In Dahl [72].Google Scholar
  5. A Discipline of Programming. Prentice Hall, Englewood Cliffs, 1976.Google Scholar
  6. Floyd, R.W. "Assigning meanings to programs". In Math. Aspects of Computer Science, XIX American Math. Society (1967), 19–32.Google Scholar
  7. Gries, D. "Describing an algorithm by Hopcroft". Acta Informatica, 1973.Google Scholar
  8. — "An exercise in proving parallel programs correct". CACM 20 (Dec 1977), 921–930.Google Scholar
  9. — "Proof of correctness of Dijkstra's on-the-fly garbage collector". Lecture Noted in Computer Science 46, Springer Verlag 1976, 57–81.Google Scholar
  10. — "An illustration of current ideas on the derivation of correctness proofs and correct programs". IEEE Transactions on Software Engineering 2 (Dec 76), 238–243.Google Scholar
  11. Hoare, C.A.R. "An axiomatic approach to computer programming". CACM 12 (Oct 69), 576–580, 583.Google Scholar
  12. McCarthy, J. "A basis for a mathematical theory of computation". Proceedings, Western Joint Computer Conference, Los Angeles, May 1961, 225–238, and Proceedings of IFIP Congress 1962, North Holland Publishing Company, Amsterdam, 1963.Google Scholar
  13. McGowan, C.L. and J.R. Kelly. Top-down Structured Programming Techniques Petrocelli Charter, New York, 1975.Google Scholar
  14. Naur, P. "Proofs of algorithms by general snapshots". BIT 6(1966), 310–316.Google Scholar
  15. — "Programming by action clusters". BIT 9(1969), 250–268.Google Scholar
  16. Wilkes, M.V., D.J. Wheeler, and S. Gill. The Preparation of Programs for an Electronic Digital Computer Addison-Wesley Press, Inc., Cambridge, Mass., 1951.Google Scholar
  17. Wirth, N. Systematic Programming: an Introduction. Prentice Hall, Englewood Cliffs, N.J., 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • David Gries
    • 1
  1. 1.Cornell UniversityUSA

Personalised recommendations