An Introduction To Program Transformation
Stc
ComputingScienceColloquium
Date: October 9
Time: 11am
Room: BBL-505
Speaker: Eelco Visser
Title: An Introduction to Program Transformation
Abstract
In this talk I will give a short introduction to the field
of program transformation, where the term is interpreted
broadly to include all kinds of manipulations of programs.
I will sketch application areas of program transformation,
and give an impression of implementation of simple
transformations by means of term rewriting. I will conclude
with an overview of the course on program transformation
given in period 2.