Cache Behavior Prediction by Abstract Interpretation.

Christian Ferdinand Florian Martin Reinhard Wilhelm Martin Helmut Alt

Published in: Sci. Comput. Program. (1999)

Keyphrases

abstract interpretation
termination analysis
static analysis
dynamic analysis
databases
web services
data model
prefetching
active databases
high level
database systems
query processing
main memory
active rules