SCT Student Projects - Benjamin Lutz
The main goals of the diploma project are:
- For violations of universe type system contracts, to find algorithms that produce a clear explanation of why the program is wrong, and what circumstances led to the violation. Such an explanation might look similar to a classic backtrace.
- To implement these algorithms in the MultiJava compiler, and to complement them with examples and tests.
| Project Timeframe: January 2008 until May 2008 |
|
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Arsenii Rudich |
| Project Timeframe: Summer Semester 2006 |
|
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Arsenii Rudich |
|
