Rules and strategies for transforming functional and logic programs

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.