𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Constructive Program

✍ Scribed by KENYON, RICHARD L.


Book ID
127323757
Publisher
American Chemical Society
Year
1965
Tongue
English
Weight
52 KB
Volume
43
Category
Article
ISSN
0009-2347

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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