Work

Program development by stepwise refinement

Year: 1983
Type: article
Abstract: The creative activity of programming—to be distinguished from coding—is usually taught by examples serving to exhibit certain techniques. It is here considered as a sequence of design decisions concerning the decomposition of tasks into subtasks and of data into data structures. The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
Institution: ETH Zurich
Language: English
Open Access status: bronze
OpenAlex ID: W2148817888
FWCI: 83.31
Cites: 3
Cited by: 692
Related to: 10