Path-Sensitive Value-Flow Analysis.

Rastislav Bodk, Sadun Anik

Browse the full POPL paper archive.