An algebraic construction of predicate transformers
- 30 April 1994
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 22 (1-2) , 21-44
- https://doi.org/10.1016/0167-6423(94)90006-x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Inductive data types for predicate transformersInformation Processing Letters, 1992
- Data structures and program transformationScience of Computer Programming, 1990
- Laws of data refinementActa Informatica, 1989
- Local adjunctionsJournal of Pure and Applied Algebra, 1988
- A calculus of refinements for program derivationsActa Informatica, 1988
- Bicategories of spans and relationsJournal of Pure and Applied Algebra, 1984
- An axiomatic basis for computer programmingCommunications of the ACM, 1969