[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.