On Preventing Programming Languages from Interfering with Programming

作     者：McKeeman, W.M. 

作者机构：Department of Information Sciences Universitv of California Santa Cruz. Calif. 95064 United States 

出 版 物：《IEEE Transactions on Software Engineering》 (IEEE Trans Software Eng)

年 卷 期：1975年第SE-1卷第1期

页      面：19-26页

主　　题：Adaptability correctness portability software engineering structured programming 

摘      要：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. Copyright © 1975 by The Institute of Electrical and Electronics Engineers, Inc.