This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
On preventing programming languages from interfering with programming
March 1975 (vol. 1 no. 1)
pp. 19-26
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.
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
Usage of this product signifies your acceptance of the Terms of Use.