Relevant Context Inference.

Ramkrishna Chatterjee, Barbara G. Ryder, William Landi

Browse the full POPL paper archive.