Yanhong A. Liu  @ NUS Home/Search
Context Related
| cornell.edu/home/yanhong/Psr.ps Cached: PS.gz PS PDF Image Update Help From: cornell.edu/Info/People/...cachet (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a principled approach for optimizing iterative (or recursive) programs. The approach formulates a loop body as a function f and a change operation \Phi, incrementalizes f with respect to \Phi, and adopts an incrementalized loop body to form a new loop that is more efficient. Three general optimizations are performed as part of the adoption; they systematically handle initializations, termination conditions, and final return values on exits of loops. These optimizations are... (Update)
Context of citations to this paper: More
...partial results in auxiliary variables [11,12] Caching uses an on line dependence analysis to prune unneeded accumulators. In [10], Liu outlines the steps of a systematic, semi automatable incrementalization process, including a brief presentation of the sqrt...
...partial results in auxiliary variables [10, 11] Caching uses an on line dependence analysis to prune unneeded accumulators. In [9], Liu outlines the steps of a systematic, semi automatable incrementalization process, including a presentation of the sqrt derivation...
Cited by: More
Iterate, incrementalize, and implement: A systematic approach to.. - Liu (Correct)
Dynamic Programming via Static Incrementalization - Liu, Stoller (2002) (Correct)
Optimizing Aggregate Array Computations in Loops - Liu, Stoller, Li, Rothamel (Correct)
Similar documents (at the sentence level):
57.1%: Principled Strength Reduction - Liu (1997) (Correct)
Active bibliography (related documents): More All
1.8: Incremental Computation: A Semantics-Based Systematic.. - Liu (1996) (Correct)
1.4: Efficient Computation via Incremental Computation - Liu (1999) (Correct)
1.2: Loop Optimization for Aggregate Array Computations - Liu, Stoller (1997) (Correct)
Similar documents based on text: More All
0.1: A Systematic Incrementalization Technique and its.. - Johnson, Liu, Zhang (Correct)
0.1: A Systematic Incrementalization Technique and Its.. - Johnson, Liu, Zhang (Correct)
0.1: Static Caching for Incremental Computation - Liu, Stoller, Teitelbaum (1998) (Correct)
Related documents from co-citation: More All
16: Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
14: Static caching for incremental computation - Liu, Stoller et al. - 1998
13: Discovering auxiliary information for incremental computation - Liu, Stoller et al. - 1996
BibTeX entry: (Update)
Y. A. Liu. Principled strength reduction. In R. Bird and L. Meertens, editors, Algorithmic Languages and Calculi, pages 357--381. Chapman & Hall, London, U.K., 1997. http://citeseer.comp.nus.edu.sg/124246.html More
@misc{ liu97principled,
author = "Y. Liu",
title = "Principled strength reduction",
text = "Y. A. Liu. Principled strength reduction. In R. Bird and L. Meertens, editors,
Algorithmic Languages and Calculi, pages 357--381. Chapman & Hall, London,
U.K., 1997.",
year = "1997",
url = "citeseer.comp.nus.edu.sg/124246.html" }
Citations (may not include all citations):505 Implementing Mathematics with the Nuprl Proof Development Sy.. - Constable - 1986
474 A data locality optimizing algorithm (context) - Wolf, Lam - 1991
294 A loop transformation theory and an algorithm to maximize pa.. (context) - Wolf, Lam - 1991
204 KIDS: A semiautomatic program development system - Smith - 1990
159 and Tools (context) - Aho, Sethi et al. - 1986
146 Unimodular transformations of double loops (context) - Banerjee - 1990
81 Specification and Transformation of Programs---A Formal Appr.. (context) - Partsch - 1990
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
57 Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
52 Reduction of operator strength (context) - Allen, Cocke et al. - 1981
47 An algorithm for reduction of operator strength (context) - Cocke, Kennedy - 1977
41 Formal program construction by transformations---Computer-ai.. (context) - Bauer, Moller et al. - 1989
39 Discovering auxiliary information for incremental computatio.. - Liu, Stoller et al. - 1996
36 Texts and Monographs in Computer Science (context) - Gries, of - 1981
35 ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig et al. - 1982
31 Program derivation by fixed point computation - Cai, Paige - 1988
28 The Craft of Programming (context) - Reynolds - 1981
22 The value flow graph: A program representation for optimal p.. - Steffen, Knoop et al. - 1990
22 Transformational programming---Applications to algorithms an.. (context) - Paige - 1983
17 A note on a standard strategy for developing loop invariants.. (context) - Gries - 1984
17 Caching intermediate results for program improvement - Liu, Teitelbaum - 1995
17 Prentice-Hall Series in Automatic Computation (context) - Dijkstra, of - 1976
16 Efficient code motion and an adaption to strength reduction - Steffen, Knoop et al. - 1991
14 Expression continuity and the formal differentiation of algo.. (context) - Paige, Schwartz - 1977
14 incremental-attribution-based program transformation system .. (context) - Liu, An - 1995
12 Programming Languages and Their Compilers; Preliminary Notes (context) - Cocke, Schwartz - 1970
9 Program optimization (context) - Allen - 1969
8 Inductively computable constructs in very high level languag.. (context) - Fong - 1979
8 Addendum: The promotion and accumulation strategies in trans.. (context) - Bird - 1985
8 Compiler Construction for Digital Computers (context) - Gries - 1971
7 volume 5 of Progress in Computer Science (context) - Dershowitz, of - 1983
7 Inductive variables in very high level languages (context) - Fong, Ullman - 1976
6 volume 36 of Lecture Notes in Computer Science (context) - Greibach, Program et al. - 1975
5 Computers and Intractability: A Guid to the Theory of NP-Com.. (context) - Garey, Johnson - 1979
5 Generalized common subexpressions in very high level languag.. (context) - Fong - 1977
5 Prentice-Hall International Series in Electrical Engineering (context) - Flores, of - 1963
4 volume 1 of Handbook for automatic computation (context) - Grau, Hill et al. - 1967
4 A composite hoisting-strength reuction transformation for gl.. (context) - Joshi, Dhamdhere - 1982
4 A composite hoisting-strength reuction transformation for gl.. (context) - Joshi, Dhamdhere - 1982
3 A note on implementing parallel assignment instructions (context) - Sethi - 1973
2 Private comminication (context) - Knoop - 1994
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.