Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Enforcing Object Protocols by Combining Static and Dynamic Analysis

Madhu Gopinathan and Sriram Rajamani

Details

Publication typeInproceedings
Published inACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)
PublisherAssociation for Computing Machinery, Inc.
> Publications > Enforcing Object Protocols by Combining Static and Dynamic Analysis