The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - March (1975 vol.1)
pp: 19-26
W. M. Mckeeman , Department of Information Sciences, Universitv of California. Santa Cruz. Calif. 95064
ABSTRACT
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.
INDEX TERMS
Arrays, Programming, Computer languages, Computers, Semantics, Educational institutions, Machinery, structured programming, Adaptability, correctness, portability, software engineering
CITATION
W. M. Mckeeman, "On preventing programming languages from interfering with programming", IEEE Transactions on Software Engineering, vol.1, no. 1, pp. 19-26, March 1975, doi:10.1109/TSE.1975.6312817
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool