A Trace Model for Pointers and Objects.

C. A. R. Hoare Jifeng He

Published in: ECOOP (1999)

Keyphrases

probabilistic model
mathematical model
high level
computational model
attribute values
objective function
object recognition
theoretical framework
formal model
decision trees
viewpoint
theoretical analysis
conceptual model