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 example comes from the field of parallel programming; the way in which it is treated is representative of the way in which a whole multiprogramming system has actually been constructed. © 1968 BIT Foundations.
CITATION STYLE
Dijkstra, E. W. (1968). A constructive approach to the problem of program correctness. BIT, 8(3), 174–186. https://doi.org/10.1007/BF01933419
Mendeley helps you to discover research relevant for your work.