Procedures, parameters, and abstraction: Separate concerns
- 31 October 1988
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 11 (1), 17-27
- https://doi.org/10.1016/0167-6423(88)90062-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Specification statements and refinementIBM Journal of Research and Development, 1987
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- An axiomatic basis for computer programmingCommunications of the ACM, 1969