Strategic Programming

IPA Basic Course on Software Technology 2006

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