On preventing programming languages from interfering with programming

On preventing programming languages from interfering with 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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering 1975-03, Vol.SE-1 (1), p.19-26
1. Verfasser: Mckeeman, W. M.
Format: Artikel
Sprache:eng
Schlagworte:
Adaptability
Arrays
Computer languages
Computers
correctness
Educational institutions
Machinery
portability
Programming
Semantics
software engineering
structured programming
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1975.6312817