Proving Pointer Program Properties. Part 2: The Overall Object Structure
By: Bertrand Meyer
Abstract
Second 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 2: The Overall Object Structure”, Journal of Object Technology, Volume 2, no. 3 (May 2003), pp. 77-100, doi:10.5381/jot.2003.2.3.c8.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn