Issue No. 01 - March (1975 vol. 1)
W. M. Mckeeman , Department of Information Sciences, Universitv of California. Santa Cruz. Calif. 95064
Wirth has proposed a method of "stepwise refinement" for writing computer programs. This paper proposes that the steps be expressed as proofs. A program for the eight-queens problem is developed, and the proof method is applied across two of the steps of the development. The strengths and weaknesses of the method, and its implications for the programming process and programming language design are discussed.
Arrays, Programming, Computer languages, Computers, Semantics, Educational institutions, Machinery, structured programming, Adaptability, correctness, portability, software engineering
W. M. Mckeeman, "On preventing programming languages from interfering with programming," in IEEE Transactions on Software Engineering, vol. 1, no. , pp. 19-26, 1975.