Path-Sensitive Inference of Function Precedence Protocols.

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan

Browse the full ICSE paper archive.