Author:
Homeier Peter V.,Martin David F.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. P. America and F. de Boer. Proving Total Correctness of Recursive Procedures. Information and Computation, 84(2):129–162, 1990.
2. K. R. Apt. Ten Years of Hoare logic: A Survey — Part 1. ACM TOPLAS, 3(4):431–483, 1981.
3. M. Gordon and T. Melham. Introduction to HOL, A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, Cambridge, 1993.
4. C. A. R. Hoare. Procedures and Parameters: an axiomatic approach. In: Proceedings of Symposium on Semantics of Algorithmic Languages, ed. E. Engeler, volume 188 of Lecture Notes in Mathematics, pages 102–116, 1971.
5. P. Homeier. Trustworthy Tools for Trustworthy Programs: A Mechanically Verified Verification Condition Generator for the Total Correctness of Procedures. Ph.D. Dissertation, UCLA Computer Science Department, 1995.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献