Yanhong A. Liu, Tim Teitelbaum  Home/Search
Context Related
| cornell.edu/pub/yanhong...TsdTR95.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: cornell.edu/home/tt/vita/vita (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Given a program f and an input change \Phi, we wish to obtain an incremental program that computes f(x \Phi y) efficiently by making use of the value of f(x), the intermediate results computed in computing f(x), and auxiliary information about x that can be inexpensively maintained. Obtaining such incremental programs is an essential part of the transformational-programming approach to software development and enhancement. This paper presents a systematic approach that discovers a general... (Update)
Context of citations to this paper: More
...of the previous computation. CACHET has been used to derive numerous incremental programs, including most of the examples in [19, 20, 21]. It has also been of great help in studying transformations for caching intermediate results [20] and discovering auxiliary...
...languages, functional languages with lazy semantics, and especially imperative languages with complex data structures and side effects. We have given an example [25] where the principle is applied to improve imperative programs with arrays for the local neighborhood problems...
Cited by: More
Caching Intermediate Results for Program Improvement - Liu, Teitelbaum (1995) (Correct)
CACHET: An interactive, incremental-attribution-based program.. - Liu (Correct)
Similar documents (at the sentence level):
78.6%: Incremental Computation for Transformational Software.. - Yanhong Liu Tim (1995) (Correct)
9.6%: Incremental Computation: A Semantics-Based Systematic.. - Liu (1996) (Correct)
9.2%: Discovering Auxiliary Information for Incremental Computation - Liu, Stoller, Teitelbaum (1996) (Correct)
Active bibliography (related documents): More All
1.2: Strengthening Invariants for Efficient Computation - Liu, Stoller, Teitelbaum (2001) (Correct)
0.8: Efficient Computation via Incremental Computation - Liu (1999) (Correct)
0.8: Principled Strength Reduction - Liu (1996) (Correct)
Similar documents based on text: More All
0.3: Maximum Likelihood Analysis of Logistic Regression Models with .. - Horton, Laird (2001) (Correct)
0.1: Iterate, incrementalize, and implement: A systematic approach to.. - Liu (Correct)
0.1: Accurate Vapour-Liquid Equilibrium Calculations for.. - Lísal, Smith, Nezbeda (2001) (Correct)
Related documents from co-citation: More All
3: The Pan Language-Based Editing System - Ballance, Graham et al. - 1992
3: KIDS: A Semi-automatic Program Development System - Smith - 1990
3: and Tools (context) - Aho, Sethi et al. - 1986
BibTeX entry: (Update)
Y. A. Liu and T. Teitelbaum. Incremental computation for transformational software development. TR 95-1499, Cornell University, Mar. 1995. http://citeseer.ist.psu.edu/article/liu95incremental.html More
@techreport{ liu95incremental,
author = "Yanhong A. Liu and Tim Teitelbaum",
title = "Incremental Computation for Transformational Software Development",
number = "TR95-1499",
month = "28,",
pages = "15",
year = "1995",
url = "citeseer.ist.psu.edu/article/liu95incremental.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
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
127 CENTAUR: The system - Borras, Cl'ement - 1988
101 Sparsification - a technique for speeding up dynamic graph a.. (context) - Eppstein, Galil et al. - 1992
86 Gandalf: Software development environments (context) - Habermann, Notkin - 1986
85 An experiment in partial evaluation: The generation of a com.. (context) - Jones, Sestoft et al. - 1985
81 Specification and Transformation of Programs - A Formal Appr.. (context) - Partsch - 1990
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
76 IEEE Standard (context) - Glossary, engineering - 1983
68 Incremental computation via function caching (context) - Pugh, Teitelbaum - 1989
67 Non-parametric local transforms for computing visual corresp.. - Zabih, Woodfill - 1994
61 Incremental context-dependent analysis for language-based ed.. (context) - Reps, Teitelbaum et al. - 1983
57 Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
52 Reduction of operator strength (context) - Allen, Cocke et al. - 1981
49 Incremental evaluation of computational circuits (context) - Alpern, Hoover et al. - 1990
47 The PSG system: From formal language definitions to interact.. (context) - Bahlke, Snelting - 1986
47 An algorithm for reduction of operator strength (context) - Cocke, Kennedy - 1977
42 ACM Transactions on Programming Languages and Systems (context) - Yellin, Strom et al. - 1991
35 ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig et al. - 1982
35 Incremental data flow analysis algorithms (context) - Ryder, Paull - 1988
34 The Pan language-based editing system - Ballance, Graham et al. - 1992
33 Steps towards architecture-independent image processing (context) - Webb - 1992
29 Incremental reduction in the lambda calculus (context) - Field, Teitelbaum - 1990
26 Incremental recovery in main memory database systems - Levy, Silberschatz - 1992
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
20 Graphical program development with PECAN program development.. (context) - Reiss - 1984
19 Translation of attribute grammars into procedures (context) - Katayama - 1984
18 Incremental computation via partial evaluation (context) - Sundaresh, Hudak - 1991
18 Building friendly parsers (context) - Jalili, Gallier - 1982
17 Caching intermediate results for program improvement - Liu, Teitelbaum - 1995
17 Ordered attributed grammars (context) - Kastens - 1980
16 Individuating unknown objects by combining motion and stereo (context) - Zabih - 1994
16 Efficient code motion and an adaption to strength reduction - Steffen, Knoop et al. - 1991
15 Projections for specialisation (context) - Launchbury - 1988
14 Expression continuity and the formal differentiation of algo.. (context) - Paige, Schwartz - 1977
12 Non-restoring integer square root: A case study in design by.. - O'Leary, Leeser et al. - 1994
11 Incremental dynamic semantics for language-based programming.. (context) - Kaiser - 1989
11 Partial computation and the construction of language process.. (context) - Pagan - 1991
10 An incremental algorithm for TDM switching assignments in sa.. (context) - Varma, Chalasani - 1992
10 Achieving incremental consistency among autonomous replicate.. - Ceri, Houtsma et al. - 1993
10 An improved cache replacement strategy for function caching (context) - Pugh - 1988
8 Addendum: The promotion and accumulation strategies in trans.. (context) - Bird - 1985
8 Programming environments based on structure editor: the Ment.. (context) - Donzeau-Gouge, Huet et al. - 1984
7 volume 5 of Progress in Computer Science (context) - Dershowitz, of - 1983
6 Mathematical logic flushes out the bugs in chip designs (context) - Glanz - 1995
6 ACM Transactions on Programming Languages and Systems (context) - Pollock, Soffa et al. - 1992
6 Incremental attribute evaluation in distributed language-bas.. (context) - Kaplan, Kaiser - 1986
5 Prentice-Hall international series in electrical engineering (context) - Flores, of - 1963
Documents on the same site (http://simon.cs.cornell.edu/home/tt/vita/vita.html):
Caching Intermediate Results for Program Improvement - Liu, Teitelbaum (1995) (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