DocumentCode
1297348
Title
On preventing programming languages from interfering with programming
Author
McKeeman, W.M.
Author_Institution
Univ. California, Santa Cruz, CA, USA
Issue
1
fYear
1975
fDate
3/1/1975 12:00:00 AM
Firstpage
19
Lastpage
26
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1975.6312817
Filename
6312817
Link To Document