How to combine widening and narrowing for non-monotonic systems of equations.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Browse the full PLDI paper archive.