Note: The TU Delft tutorial of 20-11-2006 will start at 9:30!

Program

  • 10.00 - 10.05: Introduction
  • 10.05 - 10.45: Architecture & infrastructure
  • 10.45 - 11:00: Break
  • 11.00 - 11.45: Rewriting strategies
  • 11.45 - 12.15: Type-unifying strategies

  • 12.15 - 13.15: Lunch

  • 13.15 - 14.00: Context-sensitive transformations
  • 14.00 - 14.15: Break
  • 14.15 - 16.00: Practical exercise
  • 16.00 - 16.15: Summary & perspective

Revision: r1.5 - 20 Nov 2006 - 16:30 - MartinBravenboer
IPA06 > WebHome
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback