SCAM – Source Code Analysis and Manipulation
Slides
2012-10-16
Program Transformation and Reasoning in Functional Languages
2012-10-23
Shortcut fusion for functional languages
2012-10-30
Code Transformations and Optimizations: An Introduction
Exercise
(deadline: November 6, 2012)
2012-11-20
Fault Diagnosis* of Software Systems
2012-11-27
Software Metrics
2012-12-04
Strategic Programming
Students
Student
First Assignment Language
André Pedro
Ada
Carlos GuimarĂ£es
C
Edgar Coelho
Python
Eurico Pedrosa
Matlab
Gustavo Pires
C#
Jorge Mendes
Perl