Demanded abstract interpretation.

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

Browse the full PLDI paper archive.