A constructive approach to the problem o
โ
E. W. Dijkstra
๐
Article
๐
1968
๐
Springer Netherlands
๐
English
โ 867 KB
As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This exa