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