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

Cached

Download Links

by A. Costan , S. Gaubert , E. Goubault , M. Martel , S. Putot
Venue:IN CAV
Citations:26 - 8 self