Rules and Strategies for Transforming Functional and Logic Programs

We present an overview of the program transformation methodology, focusing our attention on the so-called "rules 1 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.