Title :
On preventing programming languages from interfering with programming
Author_Institution :
Univ. California, Santa Cruz, CA, USA
fDate :
3/1/1975 12:00:00 AM
Abstract :
Wirth (1971) 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.
Keywords :
programming theory; adaptability; correctness; eight queens problem; portability; programming languages; software engineering; stepwise refinement; structured programming; Arrays; Computer languages; Computers; Educational institutions; Machinery; Programming; Semantics; Adaptability; correctness; portability; software engineering; structured programming;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1975.6312817
