Reference15 articles.
1. Bird, R. & de Moor, O. (1996) Algebra of Programming. Prentice-Hall.
2. de Moor, O. (1992) Inductive data types for predicate transformers. Information Processing Letters
43 (3), 113–118.
3. de Moor, O. (1996) An exercise in polytypic programming: repmin. Typescript,
http://www.comlab.ox.ac.uk
/oucl/publications/books/algebra/papers/repmin.ps.gz.
4. Gardiner, P. H., Martin, C. E. & de Moor, O. (1994) An algebraic construction of predicate transformers. Science of Computer Programming
22, 21–44.
5. Gardiner, P. & Morgan, C. (1991) Data refinement of predicate transformers. Theoretical Computer Science
87, 143–162.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献