M. Wand. Continuation-based program transformation strategies. J.ACM, 27(1):164--180, 1980. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Using Proof in Transformation Synthesis for Automatic.. - Cook (2001) (1 citation) (Correct)
Transformations of Logic Programs with Goals as Arguments - Pettorossi, Proietti (2002) (Correct)
On Deforesting Parameters of Accumulating Maps - Kakehi, Glück, Futamura (2002) (2 citations) (Correct)
The List Introduction Strategy for the Derivation of Logic.. - Pettorossi, Proietti (2002) (Correct)
The List Introduction Strategy for the Derivation of Logic.. - Pettorossi, Proietti (Correct)
Higher-Order Transformation of Logic Programs - Seres, Spivey (2000) (Correct)
A Systematic Incrementalization Technique and its.. - Johnson, Liu, Zhang (1999) (Correct)
A Systematic Incrementalization Technique and its.. - Johnson, Liu, Zhang (Correct)
Transformation Rules For A Higher Order Logic Programming.. - Pettorossi, Proietti (2000) (Correct)
A Systematic Incrementalization Technique and Its.. - Johnson, Liu, Zhang (Correct)
Automatic Derivation of Logic Programs by Transformation - Pettorossi, Proietti (2000) (Correct)
Rules and Strategies for Transforming Functional and Logic.. - Pettorossi, Proietti (1996) (51 citations) (Correct)
Context-Moving Transformations for Function Verification - Giesl (1999) (Correct)
Context-Moving Transformations for Function Verification - Giesl (1999) (Correct)
Continuation Sensitive Compilation - Queinnec (Correct)
Recycling Continuations - Sobel, Friedman (1998) (8 citations) (Correct)
Transformation Rules for Logic Programs with Goals as Arguments - Pettorossi, Proietti (Correct)
Polytypic Downwards Accumulations - Gibbons (1998) (8 citations) (Correct)
The Under-Appreciated Unfold - Gibbons, Jones (1998) (12 citations) (Correct)
Colimits for Concurrent Collectors - Pavlovic, Pepper, Smith (Correct)
Deriving Efficient Graph Algorithms - Reif, Scherlis (1984) (1 citation) (Correct)
To The Graduate School: - The Members Of (Correct)
Using Procedural Parameters and Continuations in Combinatorial.. - Hwang (Correct)
Continuation Prolog: A new intermediary language for WAM and.. - Neumerkel (1995) (1 citation) (Correct)
Revised^3 Report on the Algorithmic Language Scheme - Rees, (ed.), Clinger.. (1991) (190 citations) (Correct)
First 50 documents
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