Modular program construction using abstractions
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 354-389
- https://doi.org/10.1007/3-540-10007-5_43
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Proof of correctness of data representationsActa Informatica, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971