A transformation system combining partial evaluation with term rewriting-Reference-Cited by-同舟云学术

A transformation system combining partial evaluation with term rewriting

Published:1994 Issue: Volume: Page:40-55
ISSN:0302-9743
Container-title:Higher-Order Algebra, Logic, and Term Rewriting
language:
Short-container-title:

Author:

Bellegarde Françoise

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58233-9_3.pdf

Reference17 articles.

1. F. Bellegarde. Program Transformation and Rewriting. In Proceedings of the fourth conference on Rewriting Techniques and Applications, Springer Verlag, Lecture Notes in Computer Science 488, pages 226–239, Como, Italy, 1991.

2. F. Bellegarde. Astre, a Transformation System using Completion. Technical Report, Department of Computer Science and Engineering, Oregon Graduate Institute, 1991.

3. J. Bentley. Programming Pearls, Addison Wesley, 1986.

4. R. M. Burstall and J. Darlington. A Transformation System For Developing Recursive Programs. Journal of the Association for Computing Machinery, 24, pages 44–67, 1977.

5. W. N. Chin. Automatic Methods for Program Transformation. PhD thesis, University of London, Imperial College of Science, Technology and Medecine, London, UK, 1990.

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

1. Generic Program Transformation;Advanced Functional Programming;1999

2. Higher order deforestation;Lecture Notes in Computer Science;1996

3. Calculating software generators from solution specifications;TAPSOFT '95: Theory and Practice of Software Development;1995

4. ASTRE: Towards a fully automated program transformation system;Rewriting Techniques and Applications;1995