Ramkrishna Chatterjee Barbara G. Ryder William Landi Relevant Context Inference. 133-146 1999 POPL http://doi.acm.org/10.1145/292540.292554 db/conf/popl/popl99.html#ChatterjeeRL99