Skip to main content

A Trace Model for Pointers and Objects

C. A. R. Hoare and Jifeng He

Book Title
ECOOP'99 − Object−Oriented Programming‚ 13th European Conference‚ Lisbon‚ Portugal‚ June 14−18‚ 1999‚ Proceedings
Editor
Rachid Guerraoui
Pages
1−17
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1628
Year
1999