Hoare's logic and Peano's arithmetic

This publication has 11 references indexed in Scilit:

• Some natural structures which fail to possess a sound and decidable hoare-like logic for their while-programs
  Theoretical Computer Science, 1982
• Two theorems about the completeness of Hoare's logic
  Information Processing Letters, 1982
• Floyd's principle, correctness theories and program equivalence
  Theoretical Computer Science, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Abstract Data Type Specification in the Affirm System
  IEEE Transactions on Software Engineering, 1980
• Verification of Array, Record, and Pointer Operations in Pascal
  ACM Transactions on Programming Languages and Systems, 1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• A Mathematical Incompleteness in Peano Arithmetic
  Published by Elsevier ,1977
• Automatic program verification I: A logical basis and its implementation
  Acta Informatica, 1975
• An axiomatic basis for computer programming
  Communications of the ACM, 1969