Kompilatorer och interpretatorer för civilingenjörer, 7,5 högskolepoäng

Compilers and Interpreters for MSc in Engineering, 7,5 Credits

Mål

Kunskap och förståelse
Den studerande ska efter avslutad kurs kunna

• beskriva och förklara de grundläggande principerna för hur program tolkas, översätts och exekveras, och
• beskriva och förklara hur data och minnesutrymme administreras i samband med exekvering av program.

Färdighet och förmåga
Den studerande ska efter avslutad kurs kunna

• använda och jämföra verktyg och tekniker för att underlätta utvecklingen av kompilatorer och interpretatorer, och
• tillämpa principerna för interpretatorer och kompilatorer för att konstruera delar av en kompilator, och andra program som använder teknik från kompilatorer.

Innehåll

Följande moment behandlas

• olika typer av översättare, som t.ex. kompilatorer och preprocessorer,
• kompilatorns uppbyggnad och arbetssätt,
• lexikalisk analys (scanning),
• syntaktisk analys (parsing), metoder för syntaxspecifikation,
• typsystem och typkontroll,
• intern representation av program,
• runtime-system,
• minneshantering, skräpsamling,
• kodgenerering och kodoptimering,
• kompilering för fysiska och virtuella maskiner,
• olika metoder för felhantering,
• verktyg för att framställa och generera kompilatorer, och
• kriterier för språkkonstruktion.

Examinationer och betyg

Teori, 3 högskolepoäng (Provkod: A001)
Som betyg används Underkänd (U) eller Godkänd (G).

Projektuppgifter, 4,5 högskolepoäng (Provkod: A002)
Som betyg används Underkänd (U), 3, 4 eller 5.

Enligt 6 kap. 18 § högskoleförordningen ska betyg sättas på en genomgången kurs om inte universitetet föreskriver något annat. Universitetet får föreskriva vilket betygssystem som ska användas. Betyget ska beslutas av en av universitetet särskilt utsedd lärare (examinator).

Enligt universitetets föreskrifter om betygssystem för utbildning på grundnivå och avancerad nivå (beslut ORU 2018/00929) ska något av uttrycken underkänd, godkänd eller väl godkänd användas som betyg. För utbildning som ingår i en internationell magister- eller masterutbildning eller i universitetets kursutbud för utbytesstudenter ska betygsskalan A-F användas. Rektor, eller den rektorn bestämmer, får besluta om undantag från denna bestämmelse för en viss kurs om det finns särskilda skäl.

Som betyg på kursen används Underkänd (U), 3, 4 eller 5.

Kommentar till betyg

Som betyg på kursen ges betyget från provkod A002, givet att provkod A001 är godkänd.

Enligt rektorsbeslut med Dnr ORU 4.3.1-3289/2013 har avsteg medgivits från den tregradiga betygsskalan.

Examinationsformer

• Teori (provkod A001): Skriftlig tentamen
• Projektuppgifter (provkod A002): Skriftlig inlämningsuppgift och muntlig examination

Omtentamen infaller inom elva veckor efter ordinarie tentamen.

För studenter med dokumenterad funktionsnedsättning kan universitetet besluta om anpassning av examination eller annan examinationsform.

Som huvudregel ska examination ske i enlighet med den senaste versionen av en kursplan. Om en kurs väsentligt förändrats och lärosätet bedömt att en övergångsbestämmelse krävs, så ska denna reglering framgå av den senaste versionen av kursplanen.

För ytterligare information se universitetets regler för examination inom utbildning på grundnivå och avancerad nivå.

Särskild behörighet och andra villkor

Diskret matematik och logik, 6 högskolepoäng samt Algoritmer, datastrukturer och komplexitet för civilingenjörer, 7,5 högskolepoäng.

För ytterligare information se universitetets antagningsordning.

Övriga föreskrifter

Den som antagits till och registrerats på en kurs har rätt att erhålla undervisning och/eller handledning under den tid som angavs för kurstillfället som den sökande blivit antagen till (se universitetets antagningsordning). Därefter upphör rätten till undervisning och/eller handledning.

Litteratur och övriga lärresurser

Obligatorisk litteratur
Aho, Alfred V., Lam, Monica. S., Sethi, Ravi och Ullman, Jeffery D (senaste upplagan)
Compilers - Principles Techniques and Tools
Addison-Vesley