Lab for Automated Reasoning and Analysis LARA

Labs: Final Report

Your final report is due on Sat. January 9th, 23.55. Please submit it through Moodle. The code of your extended compiler is due at the same time.

Contents of the Report

You are encouraged to use the following (LaTeX) template for your report:

A PDF version of the template with the required section is available here:

Although you are not required to use this template, your report must contain at least the sections described in it with the appropriate information. Note that writing this report will take some time and that you should not do it at the last minute. This final report is an important part of the compiler project. If you have questions about the template or the contents of the report, make sure you ask them early.

cc09/final-report.txt · Last modified: 2009/12/14 10:19 by philippe.suter