Subject
General Computer Science,Theoretical Computer Science
Reference47 articles.
1. Domain theory in logical form;Abramsky;Ann. Pure Appl. Logic,1991
2. Correctness preserving program refinements: proof theory and applications;Back,1980
3. A calculus of refinements for program derivations;Back;Acta Inform.,1988
4. Refinement calculus, lattices and higher order logic;Back,1993
5. Exploring summation and product operators in the refinement calculus;Back,1994
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specifying and Verifying Advanced Control Features;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016
2. The safety of dynamic mixin composition;Proceedings of the 30th Annual ACM Symposium on Applied Computing;2015-04-13
3. Higher-Order UTP for a Theory of Methods;Unifying Theories of Programming;2013
4. Category Theoretic Models of Data Refinement;Electronic Notes in Theoretical Computer Science;2009-01
5. Object-Orientation in the UTP;Unifying Theories of Programming;2006