Engelska

Varje hösttermin

De grundläggande teorier och metoder som används inom kompilatorteknik är centrala för hela det datavetenskapliga ämnet och brett tillämpningsbara inom såväl forskning som mjukvaruutveckling.

Kursen syftar till att ge kunskaper om den principiella uppbyggnaden av en kompilator och om de grundläggande teorier och metoder som används för implementering av kompilatorns olika delar. Målet är dessutom att få en förståelse för hur de olika teorierna och metoderna kan användas för relaterade tillämpningsområden, till exempel översättning mellan olika källspråk, analys av programegenskaper, interpretering, översättning och analys av andra artificiella språk. I kursen ingår också hur avancerade objektorienterade tekniker som designmönster och aspektorienterad programmering kan tillämpas i kompilatorkonstruktion.

I kursen ingår följande: Kompilatorns arkitektur. Definition av programspråk: reguljära uttryck, kontextfria grammatiker, abstrakta grammatiker, attributgrammatiker. Metoder: scanning, parsing, statisk-semantisk analys, kodgenerering. Exekveringssystem: minnesallokering, automatisk minneshantering (garbage collection). Verktyg: Scanner-generatorer, parser-generatorer, generatorer för abstrakta syntaxträd, generatorer för attributevaluering. Designmönster (visitor, interpreter). Tillämpningsområden för kompilatorteknik.

förstå formalismer för syntaktiska beskrivningar: reguljära uttryck, kontextfria grammatiker, och abstrakta grammatiker
förstå formalismer för programanalys: attributgrammatiker
kunna beskriva kompilatorfaser, exekveringssystem, och olika typer av interna representationer

kunna implementera parsers för programspråk med hjälp av parser-generatorer
kunna implementera semantisk analys och kodgenerering med hjälp av attributgrammatikeroch imperativ programmering
kunna implementera exekveringssystem genom interpretering

visa förmåga att kritiskt utvärdera olika kompileringsmetoder och deras tillämpningar på olika områden.

Föreläsningar

Laborationer

Skriftlig tentamen

Underkänd, godkänd

EDAA01 Programmeringsteknik - fördjupningskurs

Appel, A.: Modern Compiler Implementation in Java. Cambridge University Press, 2002. ISBN 052182060X.

EDAN65F

 -03-22

Professor Thomas Johansson