Current ideas in programming methodology

• 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 

• Conway, R. and D. Gries. An Introduction to Programming: a structured approach. Winthrop, Cambridge, Mass. 1973 (3rd edition, 1978).

  MATH  Google Scholar 

• Dahl, O.J., E.W. Dijkstra, and C.A.R. Hoare. Structured Programming. Academic Press, London, 1972.

  MATH  Google Scholar 

• Dijkstra, E.W. "Notes on Structured Programming". In Dahl [72].

  Google Scholar 

• — A Discipline of Programming. Prentice Hall, Englewood Cliffs, 1976.

  MATH  Google Scholar 

• Floyd, R.W. "Assigning meanings to programs". In Math. Aspects of Computer Science, XIX American Math. Society (1967), 19–32.

  Google Scholar 

• Gries, D. "Describing an algorithm by Hopcroft". Acta Informatica, 1973.

  Google Scholar 

• — "An exercise in proving parallel programs correct". CACM 20 (Dec 1977), 921–930.

  Article  MathSciNet  Google Scholar 

• — "Proof of correctness of Dijkstra's on-the-fly garbage collector". Lecture Noted in Computer Science 46, Springer Verlag 1976, 57–81.

  Article  Google Scholar 

• — "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 

• Hoare, C.A.R. "An axiomatic approach to computer programming". CACM 12 (Oct 69), 576–580, 583.

  Google Scholar 

• 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 

• McGowan, C.L. and J.R. Kelly. Top-down Structured Programming Techniques Petrocelli Charter, New York, 1975.

  MATH  Google Scholar 

• Naur, P. "Proofs of algorithms by general snapshots". BIT 6(1966), 310–316.

  Article  Google Scholar 

• — "Programming by action clusters". BIT 9(1969), 250–268.

  Article  Google Scholar 

• 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.

  MATH  Google Scholar 

• Wirth, N. Systematic Programming: an Introduction. Prentice Hall, Englewood Cliffs, N.J., 1973.

  Google Scholar 

Download references