Richard Bornat: Proving Pointer Programs in Hoare Logic,inMathematics of Program Construction, Springer-Verlag, 2000, pages 102-106. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Practical Proofs of Class Correctness - Meyer (2003) (1 citation) (Correct)
....all realistic O O programs and libraries, pointers have not been at the center of O O theories; Abadi and Cardelli largely ignore them. By using high level functions and associated operators we can model pointers in a simple way. A useful literature exists on the formal treatment of pointers [3] [4] [8] 15] 16] 17] Some of it discusses this problem in a general context, whereas we will restrict the analysis to object oriented programs. This means in particular that unlike many authors we won t concern ourselves with general pointer assignments object.pointer field : value which, although ....
Richard Bornat: Proving Pointer Programs in Hoare Logic,inMathematics of Program Construction, Springer-Verlag, 2000, pages 102-106.
Proving Pointer Program Properties - Part 1: Context and overview - Meyer (2003) (Correct)
No context found.
Richard Bornat: Proving Pointer Programs in Hoare Logic,inMathematics of Program Construction, Springer-Verlag, 2000, pages 102-106.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC