Dijkstra's Method of Program Construction
First published: 15 January 2002
No abstract is available for this article.
Bibliography
-
E. W. Dijkstra,
A Discipline of Programming,
Prentice-Hall,
Englewood Cliffs, NJ,
1976.
-
R. Floyd,
Assigning Meaning to Programs,
Mathematical Aspects of Computer Science,
19,
19–32
(1967).
-
D. Gries,
The Science of Programming,
Springer-Verlag,
New York,
1981.
-
C. A. R. Hoare,
An Axiomatic Approach to Computer Programming,
Communications of the ACM
12,
576–580,
583
(Oct. 1969).
