Messages

Hi,

the room reseved for the exam is

                               PYTHON.

As announced in the lecture: The procedure is: show up 15 Minutes before the indicated time. This is to get an overview of who actually participates in the exam (as opposed to have signed up for the course and forgot to deregister).  At that point we allocate time slots for those showing up.

Martin

Hei, as you may have seen, the dates have been fixed (PhD students on one day, the masters on the other). The web-page says ``4 hours'' but of course it's not 4 hours individually, but roughly overal (depending on how many will ultimately take the exam).

Martin

Today there was some puzzling about dominance and the placement of Phi, in one ``example'' discussed on the whiteboard, similar to the one on the slide called Improvement (and the core idea of Phi).

What's on the slide is still correct. Also it's correct (in the example from the whiteboard) that the Phi-function needs not to be added at the node n2 in that situation /caused/ by the assigment in n1. However, if in the second branch in the example, there is no assigment (where in the first branch it is), then there will still be a Phi-function added at the discussed point, int's only that addition is not cause by n1, but by the ``other node'' which does not dominate n2.

I will add something like an explanation to the script-version.

Hi, the slides of last week concerning a more ``overview-style'' on program analysis are

available via  my home page

http://heim.ifi.uio.no/msteffen/publications.html#talks

Martin

As announced last week, there's no lecture 31.10, since quite a number of participants are otherwise occupied. Martin

Hi, the room is fixed it seems, it's CAML. It's only added to the first lecture in the timeplan, but I guess we got the room reserved forfor the whole semester.

Anyway: Tuesday 22.08, it's caml and presumable we stay there.

Martin

Hei, I will upload (appropriately named) slides and other information into the corresponding subdirectories "slides", "script", which are shown as tabs in the left-hand side, but without linking them in further.

Martin