Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
Principles of Program Design
Hi-index | 0.00 |
Correct programs cannot be obtained by attempts to test or to prove incorrect programs: the correctness of a program should be assured by the design procedure used to build it.A Suggestion for such a design procedure is presented and discussed. The procedure has been developed for use in data processing, and can be effectively taught to most practising programmers. It is based on correspondence between data and program structures, leading to a decomposition of the program into distinct processes. The model of a process is very simple, permitting use of simple techniques of communication, activation and suspension. Some wider implications and future possibilities are also mentioned.