Inductive data flow graphs.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Browse the full POPL paper archive.