Burstall, R. M., and Darlington, J., 1977. A transformation system for developing recursive programs, J. ACM 24, 44-67. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
No context found.
Burstall, R. M., and Darlington, J., 1977. A transformation system for developing recursive programs, J. ACM 24, 44-67.
Electronic Notes in Theoretical Computer Science 45 (2001) - Url Http Www (Correct)
No context found.
R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM, 24(1):44--67, Jan. 1977.
Restructuring Programs By Tucking Statements Into Functions - Arun Lakhotia And (1998) (16 citations) (Correct)
No context found.
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44--67, January 1977.
A Naïve Time Analysis and its Theory of Cost Equivalence - Sands (1995) (Correct)
No context found.
R. Burstall and J. Darlington. A transformation system for developing recursive programs. JACM, 24, 44--67, 1977.
Unfold/fold Transformations Preserving Termination Properties - Amtoft (1992) (1 citation) (Correct)
No context found.
R.M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44--67, January 1977.
Imperative Program Optimization by Partial Evaluation - Debois (2004) (1 citation) (Correct)
No context found.
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44--67, 1977.
Declarative Program Transformation: A Deforestation.. - Correnson, Duris.. (1999) (10 citations) (Correct)
No context found.
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44--67, January 1977.
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (12 citations) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (2 citations) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (2 citations) (Correct)
No context found.
) Burstall R. and Darlington J., "A Transformation System for Developing Recursive Programs," Journal of the ACM, 24, 1, pp. 44--67, 1977.
Unfolding of Equational Logic Programs - Alpuente, Falaschi, Ramis, Vidal (1994) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44--67, 1977.
Higher-Level Techniques for Hardware Description and Synthesis - Mycroft, Sharp (Correct)
No context found.
Burstall, R.M. and Darlington, J. A Transformation System for Developing Recursive Programs, JACM 24(1), 1979.
Relating Models of Backtracking - Mitchell Wand Dale (Correct)
No context found.
Rod M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24:44-67, 1977.
Global Analysis and Transformations in Preprocessed Languages - Spinellis (2003) (Correct)
No context found.
R.M. Burstall and J. Darlington, "A Transformation System for Developing Recursive Programs," J. ACM, vol. 24, pp. 44-67, 1977.
Conditions for Efficiency Improvement by Tree Transducer.. - Voigtländer (2002) (Correct)
No context found.
R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM, 24:44--67, 1977.
Deaccumulation - Improving Provability - Giesl, Kühnemann, Voigtländer (2003) (Correct)
No context found.
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24:44--67, 1977.
A Real-Time Garbage Collector Based on the Lifetimes of Objects - Henry Lieberman And (1983) (169 citations) (Correct)
No context found.
Burstall, R.M., and Darlington, J.L. A transformation system for developing recursive programs. J. ACM 24, 1 (Jan. 1977), 24-77.
Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (1 citation) (Correct)
No context found.
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):4467, January 1977.
Reasoning About Logic Programs Using Definitions And Induction - Wajs (2002) (2 citations) (Correct)
No context found.
Robert M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44-- 67, January 1977.
Unknown - (2003) (Correct)
No context found.
Burstall, R.M. and Darlington, J., `A transformation system for developing recursive programs', Journal of the Association for Computing Machinery,
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