A Trace Model for Pointers and Objects (1999)

Cached

Download Links

by C. A. R. Hoare , He Jifeng
Venue:In Proc. 13th ECOOP, volume 1628 of LNCS
Citations:20 - 2 self