Programming by semantic refinement
- 1 January 1973
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 8 (9) , 120-122
- https://doi.org/10.1145/390014.808298
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- The unified data structure capability in Madcap VIInternational Journal of Parallel Programming, 1972
- The specification of program flow in Madcap 6Published by Association for Computing Machinery (ACM) ,1972
- Program development by stepwise refinementCommunications of the ACM, 1971