ISDG, an improved system dependence graph, is proposed in order to better describe relationships in object-oriented programs. ISDG solves the description problem of parameterized objects.

Finally, this data is written to the Context object (whose write method is parameterized based on the types of the (key, value) pair that are produced by map).

Ownership types are types of objects that are parameterized by an owner object.