Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum  Home/Search
Context Related
| indiana.edu/pub/liu/ScicTOPLAS98.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/l/www/hyplan/liu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A systematic approach is given for deriving incremental programs that exploit caching. The cache-and-prune method presented... (Update)
Context of citations to this paper: More
...including many combinatorial optimization problems. 16 We have developed a general and systematic method, called incrementalization [21, 17, 22], for incremental computation of recursive functions that is able to derive dynamic programming algorithms for these problems when...
.... based on a number of static analyses and transformations studied previously by others [6, 9, 21, 42, 47, 55, 56, 62] and ourselves [30, 37, 38, 39] and improves them. Each of the caching, incrementalization, and pruning steps is simple, automatable, and ecient and has been...
Cited by: More
Iterate, incrementalize, and implement: A systematic approach to.. - Liu (Correct)
From Datalog Rules to Efficient Programs with Time and Space.. - Liu, Stoller (2003) (Correct)
Optimizing Ackermann's Function by Incrementalization - Liu, Stoller (2001) (Correct)
Similar documents (at the sentence level):
62.1%: Static Caching for Incremental Computation - Liu, Stoller, Teitelbaum (1998) (Correct)
13.8%: Incremental Computation: A Semantics-Based Systematic.. - Liu (1996) (Correct)
13.5%: Caching Intermediate Results for Program Improvement - Liu, Teitelbaum (1995) (Correct)
Active bibliography (related documents): More All
1.1: Efficient Computation via Incremental Computation - Liu (1999) (Correct)
0.9: Dynamic Programming via Static Incrementalization - Liu, Stoller (1999) (Correct)
0.7: Principled Strength Reduction - Liu (1997) (Correct)
Similar documents based on text: More All
0.5: A Systematic Incrementalization Technique and its.. - Johnson, Liu, Zhang (1999) (Correct)
0.5: Incremental Computation for Transformational Software.. - Yanhong Liu Tim (1995) (Correct)
0.4: Program Optimization Using Indexed and Recursive Data Structures - Liu, Stoller (2002) (Correct)
Related documents from co-citation: More All
29: Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
21: Discovering auxiliary information for incremental computation - Liu, Stoller et al. - 1996
18: Dynamic programming via static incrementalization - Liu, Stoller - 1999
BibTeX entry: (Update)
Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Static caching for incremental computation. ACM Trans. Program. Lang. Syst., 20(3):546--585, May 1998. http://citeseer.ist.psu.edu/article/liu98static.html More
@article{ liu98static,
author = "Yanhong A. Liu and Scott D. Stoller and Tim Teitelbaum",
title = "Static Caching for Incremental Computation",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "20",
number = "3",
month = "1~May",
publisher = "ACM Press",
pages = "546--585",
year = "1998",
url = "citeseer.ist.psu.edu/article/liu98static.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
245 Semantics of context-free languages (context) - Knuth - 1968
204 KIDS: A semiautomatic program development system - Smith - 1990
152 Semantics of Programming Languages (context) - Gunter - 1992
94 Projections for strictness analysis - Wadler, Hughes - 1987
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
81 Specification and Transformation of Programs---A Formal Appr.. (context) - Partsch - 1990
68 Incremental computation via function caching (context) - Pugh, Teitelbaum - 1989
64 Tabulation techniques for recursive programs (context) - Bird - 1980
61 Incremental context-dependent analysis for language-based ed.. (context) - Reps, Teitelbaum et al. - 1983
59 Lazy memo-functions (context) - Hughes - 1985
57 Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
56 Projection factorisations in partial evaluation (context) - Launchbury - 1989
53 Compile-time garbage collection by sharing analysis (context) - Jones, Le M'etayer - 1989
52 Reduction of operator strength (context) - Allen, Cocke et al. - 1981
49 Automatic complexity analysis (context) - Rosendahl - 1989
48 Mechanical program analysis (context) - Wegbreit - 1975
48 Towards an automated tupling strategy (context) - Chin - 1993
47 An algorithm for reduction of operator strength (context) - Cocke, Kennedy - 1977
47 Program specialization via program slicing - Reps, Turnidge - 1996
42 Call-by-name (context) - Plotkin - 1975
39 Discovering auxiliary information for incremental computatio.. - Liu, Stoller et al. - 1996
38 Analysis and caching of dependencies - Abadi, Lampson et al. - 1996
38 Lectures on a mathematical theory of computation (context) - Scott - 1982
36 Attribute grammar paradigms---A high-level methodology in la.. (context) - Paakki - 1995
36 functions and machine learning (context) - Michie - 1968
36 Finite differencing of computable expressions (context) - Paige, Koenig - 1982
34 The Pan language-based editing system - Ballance, Graham et al. - 1992
33 Steps towards architecture-independent image processing (context) - Webb - 1992
29 Attribute Grammars: Definitions (context) - Deransart, Jourdan et al. - 1988
28 Compile-time analysis of functional programs (context) - Hughes - 1990
27 and Ullman (context) - Aho, Sethi - 1986
23 Efficient synthesis of Gaussian filters by cascaded uniform .. (context) - Wells - 1986
23 Separating binding times in language specifications (context) - Mogensen - 1989
22 High level iterators and a method for automatically designin.. (context) - Earley - 1976
22 Transformational programming---Applications to algorithms an.. (context) - Paige - 1983
21 Alphonse: Incremental computation as a programming abstracti.. (context) - Hoover - 1992
21 Separating stages in the continuation-passing style transfor.. - Lawall, Danvy - 1993
20 Symbolic finite differencing---Part (context) - Paige - 1990
19 Translation of attribute grammars into procedures (context) - Katayama - 1984
18 Incremental computation via partial evaluation (context) - Sundaresh, Hudak - 1991
18 Dependence analysis for recursive data - Liu - 1998
16 Eliminating redundant recursive calls (context) - Cohen - 1983
16 Individuating unknown objects by combining motion and stereo (context) - Zabih - 1994
16 Principled strength reduction - Liu - 1997
15 Program improvement by automatic redistribution of intermedi.. (context) - Hall - 1990
15 Program improvement by automatic redistribution of intermedi.. (context) - Hall - 1991
14 Loop optimization for aggregate array computations - Liu, Stoller - 1998
14 A powerful strategy for deriving efficient programs by trans.. (context) - Pettorossi - 1984
13 Applicative caching (context) - Keller, Sleep - 1986
12 Tupling functions with multiple recursion parameters (context) - Chin, Khoo - 1993
11 Strictness and binding-time analysis: Two for the price of o.. (context) - Launchbury - 1991
10 Improvements on an incremental evaluation algorithm for orde.. (context) - Yeh, Kastens - 1988
10 Program derivation via list introduction (context) - Pettorossi, Proietti - 1997
10 An improved cache replacement strategy for function caching (context) - Pugh - 1988
8 Building incremental programs using partial evaluation (context) - Sundaresh - 1991
6 Optimization of functional programs by grammar thinning - Webber - 1995
3 Program analysis using binary relations - Webber - 1997
2 Rinehart and Winston (context) - New, -- et al. - 1985
2 Principled optimization of functional programs (context) - Webber - 1993
2 CACHET: An interactive (context) - Liu - 1995
1 Strategical derivation of on-line programs (context) - Pettorossi - 1987
1 A compiler for the MIT tagged-token dataflow architecture (context) - New, -- - 1986
1 The Design and Analysis of Computer Algorithms (context) - New, Aho et al. - 1974
1 A transformation system for developing recursive programs (context) - Trans, Lang et al. - 1977
1 Automating program speedup by deciding what to cache (context) - New, -- et al. - 1985
1 The Synthesizer Generator: A System for Constructing Languag.. (context) - for, Computation et al. - 1988
1 Recursive programs as definitions in first order logic (context) - for, Computation et al. - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://grouchy.cs.indiana.edu/l/www/hyplan/liu.html): More
Systematic Derivation of Incremental Programs - Liu, Teitelbaum (1995) (Correct)
Principled Strength Reduction - Liu (1997) (Correct)
Efficient Computation via Incremental Computation - Yanhong Liu (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC