Searching for "A Trace Model for Pointers and Objects." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

A Trace Model for Pointers and Objects
by C. A. R. Hoare, He Jifeng — 1999 — In Proc. 13th ECOOP, volume 1628 of LNCS
…A Trace Model for Pointers and Objects C.A.R. Hoare 1 and He Jifeng 2 1 Oxford University…
Cited by 22 (2 self) – Add To MetaCart

UNU/IIST Annual Report 1999
by Unu/iist — 2000
… an assertion language to reason about the objects and pointers. The theory is based on a trace model of graphs…
Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… in Computer Science, 7(5):507 541, 1997. C.A.R. Hoare and J. He. A trace model for pointers and objects…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB