Affiliation:
1. Univ. of Rome Tor Vergata, Rome, Italy
2. IASI CNR, Rome, Italy
Abstract
We present an overview of the program transformation methodology, focusing our attention on the so-called “rules + strategies” approach in the case of functional and logic programs. The paper is intended to offer an introduction to the subject. The various techniques we present are illustrated via simple examples.
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Reference132 articles.
1. ABRAMSKY S. AND HANKIN C. EDS. 1987. Abstract Interpretation of Declarative Languages. Ellis Horwood Chichester UK. ABRAMSKY S. AND HANKIN C. EDS. 1987. Abstract Interpretation of Declarative Languages. Ellis Horwood Chichester UK.
2. Spes: A system for logic program transformation
3. Some Techniques for Recursion Removal from Recursive Functions
4. Mechanizing structural induction: Part I and II;AUBIN R.;Theor. Comput. Sci.,1979
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献