Statement inversion and strongest postcondition
- 30 June 1993
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 20 (3) , 223-251
- https://doi.org/10.1016/0167-6423(93)90015-h
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Combining angels, demons and miracles in program specificationsTheoretical Computer Science, 1992
- Program inversion in the refinement calculusInformation Processing Letters, 1991
- Duality in specification languages: a lattice-theoretical approachActa Informatica, 1990
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- A calculus of refinements for program derivationsActa Informatica, 1988
- Data refinement by miraclesInformation Processing Letters, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987