Messages

Solutions for the exam of last year can be found here

Additional material on the Creol language: J. Blanchette and M. Kyas: Overview of the Creol Language, 2007, here.

NB. There is no group session during week 49 (Dec 3 to 7). The last group session will be held on Monday 10th of December 14:00 - 16:00, same place as usual.

For those interested in more material on Hoare Logic, we suggest some alternatives:

A basic compendium (in Norwegian) covering Hoare Logic for sequential programs is: Ole Christian Lingj?rde: Kompendium 55. ?Introduksjon til Hoare-logikk og abstrakte typer? which can be found here

Books:

Gregory Andrews: Concurrent Programming. Addison-Wesley, 1991

Ole-Johan Dahl: Verifable Programming. Springer Verlag 1992 (also available as Kompendium 70 at the department.)

Some previous exams can be found here: exam06exam05exam04exam03

Remember that CSP is no longer part of the syllabus!

Final delivery date for the third compulsory assignment is Friday November 9th.

Final delivery date for the 2nd compulsory assignment is Friday October 19th.

Remember: no lecture 10.10 and no group session 11.10

Epost til gruppel?rer Mohammad Ali Norozi er: mohammno@ifi.uio.no

Note that Group 2 is cancelled.

NB. the lecures are moved to "Lille Auditorium" from Sept. 12.

Obligatorisk oppgave 1 er n? lagt ut. Frist fredag 21. sept.