A calculus of refinements for program derivations
- 1 August 1988
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 25 (6) , 593-624
- https://doi.org/10.1007/bf00291051
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- Predicative programming Part ICommunications of the ACM, 1984
- Program Transformation SystemsACM Computing Surveys, 1983
- A Weaker Precondition for LoopsACM Transactions on Programming Languages and Systems, 1982
- On correct refinement of programsJournal of Computer and System Sciences, 1981
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Program development by stepwise refinementCommunications of the ACM, 1971
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969