Yanhong A. Liu, Tim Teitelbaum  Home/Search
Context Related
| indiana.edu/pub/liu/CirPEPM95.ps cornell.edu/pub/yanho...CirPEPM95.ps.Z 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/hyplan/liu (more) From: hypatia.dcs.qmw...unctional.trans (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied straightforwardly to provide a systematic approach to program improvement via caching. 1 Introduction Incremental programs take advantage of repeated computations on inputs that differ only slightly from one another, making use of the old output in computing a new output rather than computing from scratch. Methods of... (Update)
Context of citations to this paper: More
.... Stoller have used some extensions of these ideas to optimize array computations (Liu and Stoller, 1998) and recursive programs (Liu and Stoller, 2000). Liu et al. have also shown how such transformations can be applied to derive algorithms for incrementalcomputation problems...
...embed all intermediate results in the nal return value and then performs administrative simpli cations. Certain improvements, suggested in [55] but not given in [55] or [54] can be made to the extension transformation. In particular, we can avoid caching redundant intermediate...
Cited by: More
Incremental Computation for Transformational Software.. - Yanhong Liu Tim (1995) (Correct)
Dynamic Computational Complexity - Hesse (2003) (Correct)
Solving Regular Tree Grammar Based Constraints - Liu, Li, Stoller (2000) (Correct)
Similar documents (at the sentence level):
76.5%: Caching Intermediate Results for Program Improvement - Liu, Teitelbaum (1995) (Correct)
45.1%: Incremental Computation: A Semantics-Based Systematic.. - Liu (1996) (Correct)
17.3%: Static Caching for Incremental Computation - Liu, Stoller, Teitelbaum (1998) (Correct)
Active bibliography (related documents): More All
0.8: Deriving Incremental Programs - Liu, Teitelbaum (1993) (Correct)
0.7: Efficient Computation via Incremental Computation - Liu (1999) (Correct)
0.6: Discovering Auxiliary Information for Incremental Computation - Liu, Stoller, Teitelbaum (1996) (Correct)
Similar documents based on text: More All
0.4: A Systematic Incrementalization Technique and its.. - Johnson, Liu, Zhang (1999) (Correct)
0.1: Systematic Derivation of Incremental Programs - Liu, Teitelbaum (1994) (Correct)
Related documents from co-citation: More All
15: Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
11: An algorithm for reduction of operator strength (context) - Cocke, Kennedy - 1977
10: and Tools (context) - Aho, Sethi et al. - 1986
BibTeX entry: (Update)
Y. A. Liu and T. Teitelbaum. Caching intermediate results for program improvement. In Proceedings of the ACM SIGPLAN Symposium on PEPM, pages 190--201, La Jolla, California, June 1995. http://citeseer.ist.psu.edu/article/liu95caching.html More
@inproceedings{ yanhong95caching,
author = "Liu, Yanhong A. and Teitelbaum, Tim",
title = "{C}aching {I}ntermediate {R}esults for {P}rogram {I}mprovement",
booktitle = "{ACM} {SIGPLAN} Symposium on Partial Evaluation and Semantics-Based Program Manipulation",
month = "June",
publisher = "ACM Press",
address = "La Jolla, CA",
pages = "190-201",
year = "1995",
url = "citeseer.ist.psu.edu/article/liu95caching.html" }
Citations (may not include all citations):283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
204 KIDS: A semiautomatic program development system - Smith - 1990
171 The Synthesizer Generator: A System for Constructing Languag.. (context) - Reps, Teitelbaum - 1988
159 and Tools (context) - Aho, Sethi et al. - 1986
152 Semantics of Programming Languages (context) - Gunter - 1992
96 AddisonWesley Publishing Company (context) - Aho, Hopcroft et al. - 1974
94 Projections for strictness analysis - Wadler, Hughes - 1987
82 Partial dead code elimination - Knoop, Ruthing et al. - 1994
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
36 functions and machine learning (context) - Michie - 1968
35 ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig et al. - 1982
34 The Pan language-based editing system - Ballance, Graham et al. - 1992
31 A compiler for the MIT tagged-token dataflow architecture - Traub - 1986
30 ACM Transactions on Programming Languages and Systems (context) - Cohen, recursive - 1983
23 Efficient synthesis of Gaussian filters by cascaded uniform .. (context) - Wells - 1986
22 Transformational programming -- applications to algorithms a.. (context) - Paige - 1983
22 High level iterators and a method for automatically designin.. (context) - Earley - 1976
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 Building friendly parsers (context) - Jalili, Gallier - 1982
18 Incremental computation via partial evaluation (context) - Sundaresh, Hudak - 1991
17 Caching intermediate results for program improvement - Liu, Teitelbaum - 1995
16 Individuating unknown objects by combining motion and stereo (context) - Zabih - 1994
15 Program improvement by automatic redistribution of intermedi.. (context) - Hall - 1991
14 A powerful strategy for deriving efficient programs by trans.. (context) - Pettorossi - 1984
14 Automating program speedup by deciding what to cache (context) - Mostow, Cohen - 1985
13 ACM Transactions on Programming Languages and Systems (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 An improved cache replacement strategy for function caching (context) - Pugh - 1988
10 Improvements on an incremental evaluation algorithm for orde.. (context) - Yeh, Kastens - 1988
7 Recursive programs as definitions in first order logic (context) - Cartwright - 1984
4 evaluation in OPTRAN (context) - Lipps, Moncke et al. - 1988
3 Incremental computation for transformational software develo.. - Liu, Teitelbaum - 1995
2 A formal definition of unnecessary computation in functional.. (context) - Webber - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/hyplan/liu.html): More
Eliminating Dead Computations on Recursive Data - Liu (1997) (Correct)
Eliminating Dead Code on Recursive Data - Liu, Stoller (1999) (Correct)
Automatic Accurate Time-Bound Analysis for High-Level Languages - Liu, Gomez (1998) (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