Inductive data types for predicate transformers
- 14 September 1992
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 43 (3), 113-117
- https://doi.org/10.1016/0020-0190(92)90001-c
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Data structures and program transformationScience of Computer Programming, 1990
- A calculus of refinements for program derivationsActa Informatica, 1988
- The weakest prespecificationInformation Processing Letters, 1987
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968