[Prev][Next][Index][Thread]
PL seminar - Annie Liu
Programming Languages Seminar
Friday, Oct.4, 1996
10am-11am, LH 101 <--- time change !!!
Cache as Cache Can
Annie Liu
Caching intermediate results is a widely used technique for program
efficiency improvement. Methods for caching intermediate results have
applications in programming environments, interactive document
processing, reactive systems, incremental database view maintenance,
etc.
This talk presents a 3-step method for caching intermediate results,
called cache-and-prune. It is composed of a number of static program
analyses and transformations. The method is more general and
systematic than previous methods, is modular, and has a kind of
relative optimality.