A fixpoint calculus for local and global program flows.

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

Browse the full POPL paper archive.