๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Application of proof theory to the problem of construction of correct programs

โœ Scribed by N. N. Nepeivoda

Book ID
105057298
Publisher
Springer US
Year
1979
Tongue
English
Weight
683 KB
Volume
15
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A constructive approach to the problem o
A constructive approach to the problem of program correctness
โœ 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