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]

Statisk Analyse (Q3) ( forår 2008 - 5 ECTS )

Rammer for udbud

  • Uddannelsessprog: (se under Undervisnings- og arbejdsform)
  • Niveau: Valgfrit overbygningskursus
  • Semester/kvarter: Q3 i 2007/2008
  • Timer per uge:
  • Deltagerbegrænsning:
  • Undervisningssted: Århus
  • Hovedområde: Det Naturvidenskabelige Fakultet
  • Udbud ID: 7989

Formål

Deltagerne vil efter kurset have indsigt i principper for og anvendelser af statisk analyse af programmer.

Obligatorisk program

Ugentlige opgaver

Indhold

Typeanalyse, lattice teori, kontrolflow grafer, daraflow analyse, fikspunktsalgoritmer, narrowing og widening, interprocedural analyse, kontrolflow analyse, pointer analyse og software model checking.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:
  • beskrive statisk analyse som en teknik for at beregne konservative approksimationer til uafgørlige problemer.
  • referere den basale terminologi og det matematiske fundament for statisk analyse.
  • anvende det monotone framework til at konstruere algoritmer for simple statiske analyser.
  • beskrive avancerede teknikker til at øge præcisionen af statisk analyse.

Faglige forudsætninger

dOvs

Underviser

Michael Schwartzbach

Undervisnings- og arbejdsform

Forelæsninger (3t/uge)

Litteratur

Noter og artikler

Kursushjemmeside

http://www.brics.dk/~mis/static.html

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://www.brics.dk/~mis/enrollment.html

Studieordning og bedømmelse

Bacheloruddannelsen i datalogi

  • Skriftlig, bedømt efter 7-skala med intern censur

Bacheloruddannelsen i datalogi (1.del i datalogi-matematik)

  • Skriftlig, bedømt efter 7-skala med intern censur


Skriftlig eksamen (2 timer)
7-skala, intern censur