Static Analysis by Policy Iteration on Relational Domains.

Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou

Browse the full ESOP paper archive.