Christian Ferdinand Florian Martin Reinhard Wilhelm Martin Alt Cache Behavior Prediction by Abstract Interpretation. 163-189 1999 35 Sci. Comput. Program. 2 db/journals/scp/scp35.html#FerdinandMWA99