A constructive approach to the problem of program correctness

  title={A constructive approach to the problem of program correctness},
  author={E. Dijkstra},
  journal={BIT Numerical Mathematics},
  • E. Dijkstra
  • Published 1968
  • Computer Science
  • BIT Numerical Mathematics
  • 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. 
    232 Citations

    Topics from this paper.

    Proof of a program: FIND
    • 229
    A new approach to program verification
    • 1
    The new programming discipline
    • P. Neely
    • Computer Science
    • Softw. Pract. Exp.
    • 1976
    • 5
    On a measure of program structure
    • R. N. Chanon
    • Mathematics, Computer Science
    • Symposium on Programming
    • 1974
    • 32
    On correct program development
    • 6
    Programming by action clusters
    • 95
    Towards the Verifying Compiler
    • C. Hoare
    • Computer Science
    • Essays in Memory of Ole-Johan Dahl
    • 2004
    • 13
    • Highly Influenced
    Tool support for invariant based programming
    • 11
    • Highly Influenced
    • PDF


    Proof of Algorithms by General Snapshots
    • 160
    Correctness of a compiler for arithmetic expressions
    • 305
    • PDF