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.
