Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference33 articles.
1. Domain theory;Abramsky,1994
2. An algebraic treatment of procedure refinement to support mechanical verification;Back;Formal Aspects Comput.,2005
3. Refinement Calculus;Back,1998
4. Polynomial relators (extended abstract);Backhouse,1992
5. Relational semantics of functional programs;Berghammer,1997
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Infinite executions of lazy and strict computations;Journal of Logical and Algebraic Methods in Programming;2015-05
2. Unifying Lazy and Strict Computations;Relational and Algebraic Methods in Computer Science;2012