Programming by action clusters
- 1 September 1969
- journal article
- Published by Springer Science and Business Media LLC in BIT Numerical Mathematics
- Vol. 9 (3), 250-258
- https://doi.org/10.1007/bf01946816
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Assigning meanings to programsProceedings of Symposia in Applied Mathematics, 1967
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966