Auxiliary variables and recursive procedures-Reference-Cited by-同舟云学术

Auxiliary variables and recursive procedures

Published:1997 Issue: Volume: Page:697-711
ISSN:0302-9743
Container-title:TAPSOFT '97: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Schreiber Thomas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0030635

Reference20 articles.

1. Peter Aczel. A system of proof rules for the correctness of iterative programs — some notational and organisational suggestions. Unpublished, August 1982.

2. Pierre America and Frank de Boer. Proving total correctness of recursive procedures. Information and Computation, 84(2): 129–162, 1990.

3. Krzysztof R. Apt. Ten years of Hoare's logic: A survey — part I. ACM Transactions on Programming Languages and Systems, 3(4):431–483, October 1981.

4. Krzysztof R. Apt and Lambert G. L. T. Meertens. Completeness with finite systems of intermediate assertions for recursive program schemes. SIAM Journal on Computing, 9(4):665–671, November 1980.

5. Stephen A. Cook. Soundness and completeness of an axiom system for program verification. SIAM Journal on Computing, 7(1):70–90, February 1978.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conditional Contextual Refinement;Proceedings of the ACM on Programming Languages;2023-01-09

2. Mechanized, Compositional Verification of Low-Level Code;Lecture Notes in Computer Science;2014

3. A theory of indirection via approximation;ACM SIGPLAN Notices;2010-01-02

4. A theory of indirection via approximation;Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10;2010

5. Hoare Logics for Recursive Procedures and Unbounded Nondeterminism;Computer Science Logic;2002