Introduction

This document presents the transformation language for the TSF system. 
 

 
 
The transformation language is used under an interpreted form and it aims at providing a way to add simple program transformations to Foresys. This project is partially supported by the FITS Esprit project:

http://www.vcpc.univie.ac.at/activities/projects/FITS/