Proving Pointer Program Properties. Part 1: Context and overview
By: Bertrand Meyer
Abstract
First part of a general mathematical framework to describe and prove properties of object-oriented programs with pointers.
Cite as:
Bertrand Meyer, “Proving Pointer Program Properties. Part 1: Context and overview”, Journal of Object Technology, Volume 2, no. 2 (March 2003), pp. 87-108, doi:10.5381/jot.2003.2.2.c8.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn