Towards Squiggly Refinement Algebra [chapter]

D. A. Naumann
1998 Programming Concepts and Methods PROCOMET '98  
The algebra of functions and relations has been used so successfully in program construction that textbooks have appeared. Despite the importance of predicate transformers in imperative programming, the algebra of transformers has been less explored. To show its promise, we prove results on exponents and recursion on inductive data types, sufficient for carrying out a polytypic derivation that has been given as a substantial example for functions and relations. We also give a data refinement
more » ... m exponents of specifications to the concrete exponents needed for program semantics.
doi:10.1007/978-0-387-35358-6_23 fatcat:7kmwcy7d5vh3zopkpmpuvxc3nm