CS 15-317: Constructive Logic
(Fall 2015)

Rubrics

These rubrics describe how assignments are evaluated.

Programming assignments

Component Evaluation
Does the program type-check without errors? Yes No
Correctness: Does the program work correctly?(100%)
Documentation: Are structured comments present?(-30%)
Testing: Are test cases provided?(-50%)
Style: Is the code well-written?(-10%)
Bonus: Is the solution elegant beyond expectations?(+10%)
Total 0

Overall

Component Evaluation
Programming parts
Was the submission early? (+2% per 12 hours)
Revised Total

2015 Iliano Cervesato