Behörighetskrav

Algebra. Operativsystem. Datakommunikation

Syfte

Efter genomgången kurs ska deltagarna kunna de

principer och tekniker som används för

konstruktion av kompilatorer för programmerings

språk, samt kunna använda teorier för

specifikation och analys av parallellt exekverande

processer i ett datorsystem.

Innehåll

Kursen täcker områden som parsning (LL och LR),

kodgenerering, "run-time-system" och

kodoptimering. Under kursen kommer deltagarna att

konstruera en kompilator med hjälp av

tillgängliga verktyg. Kursen behandlar även teorier

för specifikation och analys av parallella

program, t.ex. CCS (Calculus of Communicating

Systems). Verktyg för automatisk analys av

CCS specifikationer, t.ex. Concurrency Workbench,

används.

Undervisning

Föreläsningar, lektioner, laborationer och inlämningsuppgifter.

Examination

Skriftlig sluttentamen och en skriftlig

mittterminstentamen. För godkännande fordras även

godkänd laborationskurs.