Deriving object typestates in the presence of inter-object references.

Mangala Gowri Nanda, Christian Grothoff, Satish Chandra

Browse the full OOPSLA paper archive.