Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, page 350. ACM Press, 1998.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamic Programming via Static Incrementalization - Liu, Stoller (2002) (13 citations) Self-citation (Liu) (Correct)
....future study. 7 Implementation and experimentation results All three steps caching, incrementalization, and pruning have been implemented in a prototype system, CACHET, using the Synthesizer Generator [53] Incrementalization as currently implemented is semi automatic [29] and is being automated [63]. Determining input increment operations and forming optimized programs are currently done manually, but both are straightforward for all the problems we have encountered. Figure 3 summarizes some of the examples derived, most of them semi automatically and some automatically. The second column ....
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the 1998.
Strengthening Invariants for Efficient Computation - Liu, Stoller, Teitelbaum (2001) Self-citation (Liu) (Correct)
....transformation system [46] for deriving incremental programs that exploit return values [56] Soon after, transformations and analyses for cache and prune [55,54] fully automated, were added. Later on, a subset of the transformations for exploiting return values were made fully automatic [89], and the analysis for pruning was drastically improved [52] A separate module for optimizing aggregate array computations [50] was added most recently. All these are implemented using the Synthesizer Generator [72] making extensive use of its scripting language, STk [30] a dialect of Scheme. ....
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming, page 350. ACM, New York, Sept. 1998. 42
Dynamic Programming via Static Incrementalization - Liu, Stoller (2000) (13 citations) Self-citation (Liu) (Correct)
....future study. 7 Implementation and experimentation results All three steps caching, incrementalization, and pruning have been implemented in a prototype system, CACHET, using the Synthesizer Generator [53] Incrementalization as currently implemented is semi automatic [29] and is being automated [62]. Determining input increment operations and forming optimized programs are currently done manually, but both are straightforward for all the problems we have encountered. Figure 3 summarizes some of the examples derived, most of them semi automatically and some automatically. The second column ....
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming, page 350. ACM, New York, Sept. 1998. 25
Efficient Computation via Incremental Computation - Liu (1999) Self-citation (Liu) (Correct)
....in, and an interactive environment allows the user to select and invoke them. The original implementation of equality reasoning and time analysis was ad hoc. We have been gradually automating CACHET (for use by a software development group at Motorola) and making equality reasoning more systematic [89]. In particular, equality reasoning on arithmetic operations and boolean operations are now performed using dedicated tools, Omega [66] and MONA [41] respectively. We have also been building a system, ALPA, for automated time analysis [46, 32] and 18 plan to use it in CACHET. Our optimizations ....
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming, page 350. ACM, New York, Sept. 1998. 24
Selective Memoization - Umut Acar Guy (2003) (1 citation) (Correct)
No context found.
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, page 350. ACM Press, 1998.
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) (Correct)
No context found.
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, page 350. ACM Press, 1998. This research was sponsored in part by National Science Foundation (NSF) grant no. CCR-0122581.
Selective Memoization - Umut Acar Guy (2003) (1 citation) (Correct)
No context found.
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, page 350. ACM Press, 1998.
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) (Correct)
No context found.
Y. Zhang and Y. A. Liu. Automating derivation of incremental programs. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, page 350. ACM Press, 1998.
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