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

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact