A policy iteration algorithm for computing fixed points in static analysis of programs (0)

by A Costan, S Gaubert, E Goubault, M Martel, S Putot
Venue:In In Proc. 7th Int. Conf. on Computer Aided Verification (CAV’05