Static Caching for Incremental Computation (1998)

by Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum
Venue:ACM Trans. Program. Lang. Syst
Citations:49 - 20 self

Documents Related by Co-Citation

39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
70 Incremental computation via function caching – William Pugh, Tim Teitelbaum - 1989
112 Finite differencing of computable expressions – R Paige, S Koenig - 1982
90 Memo” functions and machine learning – D Michie - 1968
45 Caching Function Calls Using Precise Dependencies – Allan Heydon, Roy Levin, Yuan Yu - 2000
42 Incremental evaluation of attribute grammars with application to syntax-directed editors – Alan Demers, Thomas Reps, Tim Teitelbaum - 1981
44 A categorized bibliography on incremental computation – G Ramalingam, T Reps - 1993
26 Dynamic programming via static incrementalization – Yanhong A. Liu, Scott D. Stoller - 1999
8557 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
64 Adaptive Functional Programming – Umut A. Acar , Guy E. Blelloch, Robert Harper - 2001
27 Optimal-time incremental semantic analysis for syntax-directed editors – Thomas Reps - 1982
24 Incremental reduction in the lambda calculus – J Field, T Teitelbaum
71 Analysis and Caching of Dependencies – Martin Abadi , Butler Lampson, Jean-Jacques Levy - 1996
2626 Dynamic Programming – R Bellman - 1957
25 Finite di erencing of computable expressions – R Paige, S Koenig - 1982
22 Discovering auxiliary information for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1996
14 Specification and Transformation of Programs—a Formal Approach to Software Development – H Partsch - 1990
51 ACE: an automatic complexity evaluator – D Le Métayer
26 Real-time Simulation of a Set Machine on a RAM – Robert Paige, Robert Paige - 1994