A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.

Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot

Browse the full CAV paper archive.