|
Vejledende placering: Midt i studiet. |
|
Undervisningsform: Forelæsninger og opgaveregning |
|
Evalueringsform: Mundtlig fremlæggelse og bedømmelse af rapport(er)
|
| Karakter: 13-skala |
| Faglige forudsætninger: 02240 |
| Ønskede forudsætninger: oversætterteknik |
Kursusmål: Formålet med kurset er at give in introduktion til de analyser og
transformationer som ofte benyttes i optimerende oversættere. Målet
med program analyse er statisk (dvs på oversættelsestidspunktet) at
beregne sikre og effektive approksimationer til de værdier eller
operationer som dynamisk optræder når programmet udføres på en
datamaskine. En klassisk anvendelse er i oversættere hvor man kan
undlade at generere kode for overflødige beregninger (f.eks. ved at
genbruge resultater som allerede er beregnet eller ved at flytte
invariante beregninger ud af løkker) og man kan undgå overflødige
beregninger (f.eks. af værdier der ikke er behov for eller af værdier
der allerede kendes på oversættelsestidspunktet). For nyligt er
program analyse også blevet brugt til sikring af korrekthed og
sikkerhed af software systemer. |
Kursusindhold: Kurset vil først give en kort introduktion til de centrale
tilgangsvinkler til program analyse og deres anvendelser. Kurset vil
derefter fokusere på data flow og kontrol flow analyse teknikker og
algoritmer for effektiv implementation. |
| Kontaktperson: Hanne Riis Nielson, building 322, (+45) 4525 3736, riis@imm.dtu.dk |
| Institut: 002 Informatik og Matematisk Modellering |
| Kursus URL: http://www.imm.dtu.dk/courses/02242 |
| Opdateret: 26-11-2001 |
