Forel?pig plan for f?rste m?ned av semesteret/Tentative schedule for the first month
Plan for den f?rste delen av undervisningen er ute. Her kan det bli endel endringer hvis jeg trenger ? reise noe sted, og/eller basert p? ?nsker fra studentene. Tenker vi starter med de tre obligatiske oppgavene (finne feil i kommunikasjonsprotokoll; meta-programmering; lage interpret til enkelt imperativt spr?k) i f?rste delen av semesteret, og tar studentpresentasjoner av ymse temaer i emnets andre del. Ligger an til undervisningsfri/jobbing med obliger i slutten av september.
Very tentative schedule for the first month published. There could be significant changes, based on my needs to travel for work, and/or wishes by the students. After intro to Maude, I guess we start with the three mandatory assignments (finding mistakes in published communication protocols; meta-programming; defining an intepreter/semantics for simple imperative languages) in the first part of the course, and student presentations of selected papers in the second part of the course. There will likely be some periods with no lectures in September, based on my work schedule. Those periods are ideal for working on the homework assignments.