Static analysis by policy iteration on relational domains (2007)

by S Gaubert, E Goubault, A Taly, S Zennou
Venue:In Proceedings of the Sixteenth European Symposium Of Programming (ESOP’07), volume 4421 of LNCS