Deriving object typestates in the presence of inter-object references

Mangala Gowri Nanda, Christian Grothoff, Satish Chandra. Deriving object typestates in the presence of inter-object references. In Ralph E. Johnson, Richard P. Gabriel, editors, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. pages 77-96, ACM, 2005. [doi]

Authors

Mangala Gowri Nanda

This author has not been identified. Look up 'Mangala Gowri Nanda' in Google

Christian Grothoff

This author has not been identified. Look up 'Christian Grothoff' in Google

Satish Chandra

This author has not been identified. Look up 'Satish Chandra' in Google