Strategic Programming

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