A Trace Model for Pointers and Objects.

C. A. R. Hoare, Jifeng He

Browse the full ECOOP paper archive.