Enforcing object protocols by combining static and runtime analysis.

Madhu Gopinathan, Sriram K. Rajamani

Browse the full OOPSLA paper archive.