Declarative Program Transformation: A Deforestation Case-Study-Reference-Cited by-同舟云学术

Declarative Program Transformation: A Deforestation Case-Study

Published:1999 Issue: Volume: Page:360-377
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Correnson Loïc,Duris Etienne,Parigot Didier,Roussel Gilles

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10704567_22

Reference29 articles.

1. Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. Journal of the ACM 24(1), 44–67 (1977)

2. Lecture Notes in Computer Science;W.N. Chin,1995

3. Chirica, L.M., Martin, D.F.: An order-algebraic definition of Knuthian semantics. Mathematical Systems Theory 13(1), 1–27 (1979)

4. Consel, C.: Program adaptation based on program specialization. In: Workshop on Partial Evaluation and Semantics-Based Program Manipulation. PEPM 1999, San Antonio, Texas, January 1999, ACM press, New York (1999)

5. Correnson, L.: Généricité dans les grammaires attribuées. Rapport de stage d’option, École Polytechnique (1996)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Manipulating accumulative functions by swapping call-time and return-time computations;Journal of Functional Programming;2012-05

2. Composing Stack-Attributed Tree Transducers;Theory of Computing Systems;2008-07-16

3. Swapping Arguments and Results of Recursive Functions;Lecture Notes in Computer Science;2006

4. On Deforesting Parameters of Accumulating Maps;Logic Based Program Synthesis and Transformation;2002

5. Forwarding in Attribute Grammars for Modular Language Design;Lecture Notes in Computer Science;2002