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.