Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Oversættelse (Q1+Q2) ( efterår 2010 - 10 ECTS )

Rammer for udbud

  • Uddannelsessprog: engelsk
  • Niveau: Kandidat kursus
  • Semester/kvarter: Q1+Q2
  • Timer per uge: 3
  • Deltagerbegrænsning: Ingen
  • Undervisningssted: Århus
  • Hovedområde: Det Naturvidenskabelige Fakultet
  • Udbud ID: 18977

Formål

Deltagerne vil efter kurset have indsigt i teorien bag oversættelse af programmeringssprog og praktisk erfaring med anvendelse af compilerteknologi. Kursets arbejdsform vil også træne deltagernes evne til at søge information på egen hånd og til at planlægge og gennemføre projekter.

Obligatorisk program

Mindst 50% i gruppeprojektet

Indhold

Konkret og abstrakt syntaks, parsning, scopes og environments, typecheck, virtuelle maskiner, kodegenerering, optimering, statisk analyse, garbage collection, programtransformationer og domænespecifikke sprog.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

  • beskrive og anvende principper og teorier for oversættelse af programmeringssprog,
  • planlægge og implementere en compiler for et moderne programmeringssprog,
  • beskrive og evaluere hvordan compilerteknologi påvirker design af programmeringssprog.

Faglige forudsætninger

Introduktion til Programmering, Computere og Netværk, Programmering 2, Algoritmer og Datastrukturer 1+2, Programmeringssprog, Regularitet og Automater, Beregnelighed og Logik, Operativsystemer, Softwarearkitektur.

Underviser

Jan Midtgaard

Undervisnings- og arbejdsform

Forelæsninger (2+1t/uge), gruppekonsultationer

Litteratur

Slides og online dokumentation

Kursushjemmeside

http://www.daimi.au.dk/dOvs

 

Skemaplacering (forelæsninger)

Blokpar H, tirsdag 12-14 + fredag 9-11

Eksamensterminer

Eksamen: 2. kvarter

Placering: Multiple choice eksamen foregår ved sidste forelæsning. 

Reeksamen: August

http://science.au.dk/uddannelse/undervisning/eksamen/regler-for-tilmelding-til-kurser-med-fastlagt-eksamen/

Udbyder

Datalogisk Institut

Tilmelding til undervisning

https://mit.au.dk/

Bedømmelse

Projekt og multiple choice på sidste undervisningsdag.
7-skala, ekstern censur