Auxiliary variables and recursive procedures

This publication has 12 references indexed in Scilit:

• Proving total correctness of recursive procedures
  Information and Computation, 1990
• Methods and Logics for Proving Programs
  Published by Elsevier ,1990
• On the notion of expressiveness and the rule of adaptation
  Theoretical Computer Science, 1983
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes
  SIAM Journal on Computing, 1980
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• Procedures and parameters: An axiomatic approach
  Lecture Notes in Mathematics, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967