R. Bird, \Tabulation Techniques for Recursive Programs," Comput. Surveys 12 (1980), 403-417. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Using Proof in Transformation Synthesis for Automatic.. - Cook (2001) (1 citation) (Correct)
Automatic Tupling for Functional-Logic Programs - Moreno (2002) (Correct)
Optimizing Ackermann's Function by Incrementalization - Liu, Stoller (2001) (Correct)
Dynamic Programming via Static Incrementalization - Liu, Stoller (2002) (13 citations) (Correct)
Sharing of Computations - Amtoft (1993) (1 citation) (Correct)
A Case Study on a Modular Transformation Strategy - Hu, Chin, Takeichi (1999) (Correct)
Program Optimization Using Indexed and Recursive Data Structures - Liu, Stoller (2002) (Correct)
Heap Memory Management in Prolog with Tabling: Principles and .. - Demoen, Sagonas (Correct)
Incremental Rewriting - van der Meulen (1994) (Correct)
Program Optimization using Indexed and Recursive Data Structures - Liu, Stoller (2001) (Correct)
Calculating a New Data Mining Algorithm for Market Basket.. - Hu, Chin, Takeichi (2000) (2 citations) (Correct)
Calculating Accumulations - Hu, Iwasaki, Takeichi (1999) (2 citations) (Correct)
Optimizing Ackermann's function by incrementalization - Liu, Stoller (2000) (Correct)
Dynamic Programming via Static Incrementalization - Liu, Stoller (2000) (13 citations) (Correct)
Rules and Strategies for Transforming Functional and Logic.. - Pettorossi, Proietti (1996) (51 citations) (Correct)
Derivation of Data Parallel Code from a Functional Program - Quinton, Rajopadhye, Wilde (1994) (6 citations) (Correct)
Calculating Accumulations - Hu, Iwasaki, Takeichi (1999) (2 citations) (Correct)
Making Recursions Manipulable by Constructing Medio-types - Hu, Iwasaki, Takeichi (1995) (Correct)
Iterative Procedures for Computing Ackerman's Function - Ward (1993) (1 citation) (Correct)
Selective Memoization - Umut Acar Guy (2003) (1 citation) (Correct)
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) (Correct)
Techniques for Transparent Program Specialization in Dynamic.. - Sastry (Correct)
Deriving Efficient Graph Algorithms - Reif, Scherlis (1984) (1 citation) (Correct)
Selective Memoization - Umut Acar Guy (2003) (1 citation) (Correct)
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) (Correct)
First 50 documents Next 50
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