Bosk-2010

From PLSwiki

Jump to: navigation, search

Home page for Object-Oriented Software Construction (BOSK) on the BSWU bachelors programme.

This page is just for the first 4 weeks of the course, in which we will focus on learning some basic logical techniques that can be used to reason about the correctness of programs.

We meet on Mondays 9:00--12:00 in room 2A 12 for lectures, and Mondays 13:00--16:00 in room GameLab on the ground floor for exercises.

Lectures are given by Lars Birkedal and exercises by Jacob Thamsborg.

There will be four mandatory exercises that you have to hand-in. You have to pass 3 of these in order to attend the exam of the course.

Schedule:

  • Monday January 25: Induction. Reading: induction.pdf. Hand-in exercise. Must be handed in on paper, no later than January 29th. Either in person in 4C03 or in the BOSK pigeonhole on the first floor.
  • Monday February 1: First-order logic and Hoare Logic. Reading: chapter 1 in hoare-logic-notes.pdf. In the exercises we will repeat induction by discussing exercises 7 and possibly 8 from the notes on induction. Then we will go on with First-order logic and Hoare logic. Hand-in exercise. Must be handed in no later than February 5th. See the first paragraph of the exercise for practical instructions.
  • Monday February 8: First-order logic and Hoare Logic. Reading: chapter 2 in hoare-logic-notes.pdf. Hand-in exercise. Must be handed in no later than February 19th. Notice new date!. See the first paragraph of the exercise for practical instructions. Notice that we have moved to Gamelab!
  • FRIDAY February 12, 13:00-16:00: NOTE that we meet on Friday (instead of on Monday Feb. 15) for the lecture; the exercise class is still on Monday Feb. 15 at the usual time and place. We continue with chapter 2 in hoare-logic-notes.pdf. Also, a brief introduction to separation logic. The reading for separation logic is: pages 1--23, 33-41, 57--65 in sep-logic-notes.pdf. You are not required to read and understand the material about separation logic in detail, but you are expected to skim the material. Hand-in exercise. Must be handed in no later than February 26th. See the first paragraph of the exercise for practical instructions. Remember that we have moved to Gamelab.

The following have passed 3 (or 4) of the mandatory exercises, and, as such, have completed the first part of the course: Ahmad Salim Al-Sibahi, Alette Holmberg, Anders Bech Mellson, Anders Emil Bech Madsen, Anders Høst Kjærgaard, Anders Øland, Anne Dyhr Pedersen, Asger Schlichtkrull, Benjamin Ma, Christian Nicholas Harrington, Christian Vestergaard, Christopher Amdi, Hildur Uffe Flemberg, Jason Svendstorp, Jonas Bruun Jacobsen, Jonatan Rueløkke, Kasper Fryland Appeldorff, Kristian Spencer, Kristian Støving Mørk Andersen, Lasse Chris Aarøe, Mads Daniel Christensen, Marc Ferrold, Mark Philip Andersen, Martin Dam, Martin Jeanty Larsen, Martin Kjeldsen, Michael Bo Magling, Mikkel Tranberg Hansen, Morten Ugleholt Henriksen, Nicklas Warberg, Nicolai Bo Skovvart, Nicolai Dahl Blicher-Petersen, Nicolai Nørbjerg Thorup, Niels Orsleff Justesen, Niklas Schalck Johansson, Nikolaj Ørbæk Aaes, Peter Thorup Ølsted, Signe Marie Mehl Højgaard, Søren Engel, Søren Sønderby Nielsen, Thomas Hallier Didriksen, Thomas Thisted Højbæk, Thorkil Burup, Tomas Alan Lieberkind.

Personal tools