3rd International Summer School on Advanced Functional Programming, Braga, Portugal. Springer Lecture Notes in Computer Science, vol. 1608, pp.116-149, 1999.

Authors: Ganesh Sittampalam and Oege de Moor
>

Abstract

We show how generic techniques for program transformation, in particular the fusion transformation, can be mechanised. Other generic transformations such as tupling can be implemented as special cases of fusion. The key idea in our treatment of fusion is the use of a novel high-order matching algorithm.

(PS)

BIBTEX:

           @inproceedings{afp99moor, 
           author = "Oege de Moor and Ganesh Sittampalam",
           title = "Generic Program Transformation", 
           booktitle = "3rd International Summer School on Advanced Functional Programming",
           series = "Lecture Notes in Computer Science",
           volume = "1608",
           pages = "116-149",  
           year = "1999"}