Exercises for the 1st part of the course, i.e., for Test 1 (Miguel Correia):
- SSof-exercices.pdf
- test1-201112.pdf
- test1-201314.pdf
- test1-201415.pdf
- test2-201314.pdf
- test1-201516sol.pdf (solved)
Exercises, with partial solutions, used in the practical classes and previous tests (Ana Matos):
- exercises-01-iflow-policies-SOLS.pdf
- exercises-02-semantics-and-properties-SOLS.pdf
- exercises-03-typesystems-WHILE-SOLS.pdf
- exercises-04-typesystems-bytecode-and-compilation-SOLS.pdf
- exercises-05-monitors-SOLS.pdf
- testerep2_sols_SSof_1112.pdf
- teste2_SSof_1415.pdf
- test2_sols_SSof_1516.pdf
- test2_SSof_1617-SOLS.pdf
Attachments
- SSof-exercices.pdf
- test1-201112.pdf
- test1-201314.pdf
- test2-201314.pdf
- test1-201516sol.pdf
- test1-201415.pdf
- exercises-01-iflow-policies-SOLS.pdf (updated)
- exercises-02-semantics-and-properties-SOLS.pdf
- exercises-03-typesystems-WHILE-SOLS.pdf
- exercises-04-typesystems-bytecode-and-compilation-SOLS.pdf (corrected 2017/01/13)
- exercises-05-monitors-SOLS.pdf
- testerep2_sols_SSof_1112.pdf
- teste2_SSof_1415.pdf
- test2_sols_SSof_1516.pdf
- test2_SSof_1617-SOLS.pdf (updated 2017/01/30)