AU kursuskatalog arkiv

Abstrakt Fortolkning (Q4) ( forår 2011 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: engelsk
• Niveau: Kandidatkursus
• Semester/kvarter: Q4
• Timer per uge: Forelæsninger 3 timer/uge
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Det Naturvidenskabelige Fakultet
• Udbud ID: 27482

Formål

Deltagerne vil efter kurset have indsigt i abstrakt fortolkning, den grundliggende teori om approximation (som fundet i data-flow analyse, program verifikation, type systemer, m.v.). Kursets arbejdsform vil også træne deltagernes evne til at læse og forstå videnskabelige artikler.

Obligatorisk program

Ugentlige opgaver samt programmeringsprojekt

Indhold

Kurset giver en grundlæggende viden om abstrakt fortolkning. I den klassiske ramme er udførslen af programmer modelleret som et transitionssystem. Udførselsrummet (collecting semantics) over-approksimeres herefter systematisk vha. Galois forbindelser. Vi vil både beskæftige os med det teoretiske, matematiske fundament, samt implementere de resulterende analyser i praksis som eksekverbare abstrakte fortolkere.

Faglige forudsætninger

Oversættelse

Underviser

Jan Midtgaard

Undervisnings- og arbejdsform

Forelæsninger og øvelser

Litteratur

Forskningsartikler

Kursushjemmeside

http://www.cs.au.dk/~jmi/AbsInt/

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• beskrive og forklare basale analyser i termer af klassisk abstrakt fortolkning.
• anvende og ræsonnere omkring Galois forbindelser.
• implementere abstrakte fortolkere på basis af de udledte programanalyser.

Skemaplacering (forelæsninger)

http://cs.au.dk/studies/computer-science-programme/schedules/  

Eksamensterminer

Juni, reeksamen efter aftale med underviser.

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://mit.au.dk

Bedømmelse

Projekt og mundtlig eksamen (20 min.) uden forberedelse
7-skala, intern censur