slecourse edited this page Oct 15, 2012 · 2 revisions

This is the description of an SLECOURSE contribution.

Table of Contents


A tutorial on source transformations with TXL


Jim Cordy


"In this tutorial we will explore a complete transformation cookbook, consisting of recipes for solving every kind of source transformation problem. The menu will include appetizers (parsing and pretty-printing problems), soups (type analysis and inference problems), salads (annotation and markup problems), entrees (design recovery and model extraction problems), meats (source analysis and migration problems), desserts (symbolic and abstract interpretation problems) and cheeses (full interpretation and compilation problems). Solutions will be discussed using concrete practical examples, and demonstrated as working programs implemented in the TXL source transformation language." [[Jim]]


  • Categories: lecture, concepts, programming
  • Objectives: convey major recipes of software transformation
  • Prerequisites: basics of software language processing
  • Level: intermediate



You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.