Abstrakt tolkning är en teknik för statisk upptäckt av dynamiska egenskaper hos program. Det är semantik baserad, det vill säga, det beräknar approximativa egenskaper hos semantik av program. På grundval av detta möjliggör det korrekta bevis för analyser. Det ersätter allmänt använda ad hoc-tekniker med systematiska, bevisbara, och det tillåter automatisk generering av analysatorer från specikatjoner som i Program Analyzer Generator, PAG. I denna uppsats, abstrakt tolkning tillämpas på problemet med att förutsäga cache beteende program. Abstrakta semantik av maskinprogram dened som bestämmer innehållet i cacher. För interprocedural analys undersöks befintliga metoder och en ny metod som är särskilt anpassad för cacheanalys presenteras. Detta möjliggör en statisk klassi katjon av cache beteende av minnesreferenser av program. Den beräknade informationen kan användas för att skärpa uppskattningarna av tidpunkten för genomförandet i värsta fall. Det är möjligt att analysera instruktioner, data och kombinerade instruktioner/datacache för gemensamma (åter)placerings- och skrivstrategier. Experimentella resultat presenteras som visar analysens tillämplighet.
Abstract tolkning har också använts för att förutsäga cache beteende REF.
Cache Behavior Prediction by Abstract Interpretation
{'venue': 'Science of Computer Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}