Search

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