Martin Helmut Alt Christian Ferdinand Florian Martin 0001 Reinhard Wilhelm Cache Behavior Prediction by Abstract Interpretation. 52-66 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#AltFMW96 https://doi.org/10.1007/3-540-61739-6_33