Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. R.J.R. Back, On the correctness of refinement steps in program development (Ph.D. thesis), Report A-1978-4, Dept. of Computer Science, University of Helsinki, 1978.
2. R.J.R. Back, Correctness Preserving Program Refinements: Proof Theory and Applications, Mathematical Centre Tracts 131, Mathematical Centre, Amsterdam 1980.
3. R.J.R. Back, A Calculus of Refinements for Program Derivations, Acta Informatica, Vol. 25, No. 6, 593–624 (1988).
4. R.J.R. Back, Refining Atomicity in Parallel Algorithms, Reports on Computer Science and Mathematics 57, Åbo Akademi 1988, (to appear in Conference on Parallel Architectures and Languages Europe 1989).
5. R.J.R. Back, Changing Data Representation in the Refinement Calculus, Hawaii International Conference on System Sciences 1989 (also available as Data Refinement in the Refinement Calculus, Reports on Computer Science and Mathematics 68, Åbo Akademi 1988).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algebra of Monotonic Boolean Transformers;Formal Methods, Foundations and Applications;2011
2. Angelic nondeterminism in the unifying theories of programming;Formal Aspects of Computing;2006-09
3. A meta-method for formal method integration;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997
4. Abstraction refinement: A model of software evolution;Journal of Software Maintenance: Research and Practice;1993
5. Modular reasoning in an object-oriented refinement calculus;Lecture Notes in Computer Science;1993