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