Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. K.R. Apt. Ten years of hoare's logic, a survey, part I. ACM Transactions on Programming Languages and Systems, 3, 1981.
2. R. J. R. Back. Correctness preserving program refinements: Proof theory and applications. Technical Report Tract 131, CWI, 1980.
3. A. Bijlsma. Calculating with procedure calls. Information Processing Letters, 46:211–217, 1993.
4. Edsger W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
5. Paul Gardiner and Carroll Morgan. Data refinement of predicate transformers. Theoretical Computer Science, 87:143–162, 1991.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献