Cache Behavior Prediction by Abstract Interpretation

Abstract

Abstract interpretation is a technique for the static detection of dynamic proper ties of programs It is semantics based that is it computes approximative properties of the semantics of programs On this basis it allows for correctness proofs of anal yses It replaces commonly used ad hoc techniques by systematic provable ones and it allows the automatic… (More)
DOI: 10.1007/3-540-61739-6_33
View Slides

Topics

Statistics

0102030'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

319 Citations

Semantic Scholar estimates that this publication has 319 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics