Proving Pointer Programs in Hoare Logic

This publication has 17 references indexed in Scilit:

• A semantic model of types and machine instructions for proof-carrying code
  Published by Association for Computing Machinery (ACM) ,2000
• A Trace Model for Pointers and Objects
  Published by Springer Nature ,1999
• Animating Formal Proof at the Surface: The Jape Proof Calculator
  The Computer Journal, 1999
• Calculating with pointers
  Science of Computer Programming, 1989
• Assignment and Procedure Call Proof Rules
  ACM Transactions on Programming Languages and Systems, 1980
• Data Structures and Correctness of Programs
  Journal of the ACM, 1979
• The Schorr-Waite graph marking algorithm
  Acta Informatica, 1979
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967