Cache Behavior Prediction by Abstract Interpretation.

Martin Helmut Alt Christian Ferdinand Florian Martin Reinhard Wilhelm

Published in: SAS (1996)

Keyphrases

abstract interpretation
dynamic analysis
termination analysis
static analysis
information systems
query processing
prefetching
active rules