This course is replaced by
IN5440 – Selected topics in static analysis.
Messages
Published
Feb. 21, 2014 12:52 PM
I put also a browsable link on the web
http://git.uio.no/git/?p=u/msteffen/staticanalysis.git;a=summary
Published
Feb. 12, 2014 2:36 PM
I wrote more info about how to get access to the dfa implementation. it can be found here:
http://msteffen.at.ifi.uio.no/teaching/2014/sa/dfa/setup/
(it's a evolving document, new info may be added).
Published
Feb. 12, 2014 2:34 PM
on request of the people present next time: next week we do the lecture at 10.
Published
Jan. 27, 2014 3:53 PM
Hi,
as said: I put 2 more handouts on the web-page.
As agreed (for next week only): due to some conflict of meeting and room reservation: next week we start at eleven.
Published
Jan. 20, 2014 1:56 PM
As agreed today: we move the lecture to the new timeframe 12-14 (before it has been 10 to 12), on Mondays, same room. Martin
Published
Jan. 10, 2014 10:40 AM
Hi,
as shown in the schedule: first lecture is 13.Jan.
Martin