Relevant context inference (1999)

by Ramkrishna Chatterjee, Barbara Ryder, William Landi
Venue:In Proceedings of the 26th Annual ACM Symposium on the Principles of Programming Languages (POPL