Author:
Alpuim João,Swierstra Wouter
Funder
London Mathematical Society's
Reference23 articles.
1. Thorsten Altenkirch, Peter Morris, Indexed containers, in: 24th Annual IEEE Symposium on Logic In Computer Science, 2009, LICS'09, 2009.
2. Refinement concepts formalized in higher order logic;Back;Form. Asp. Comput.,1989
3. Refinement Calculus: A Systematic Introduction;Back,1998
4. Refinement concepts formalised in higher order logic;Back;Form. Asp. Comput.,1990
5. On the Correctness of Refinement in Program Development;Back,1978
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithmics;IFIP Advances in Information and Communication Technology;2021
2. A predicate transformer semantics for effects (functional pearl);Proceedings of the ACM on Programming Languages;2019-07-26
3. A Mechanized Theory of Program Refinement;Formal Methods and Software Engineering;2019