SluitenHelpPrint
Switch to English
Cursus: INFOAPA
INFOAPA
Automatische programma-analyse
Cursus informatieRooster
CursuscodeINFOAPA
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Betawetenschappen; Onderwijsinstituut Informatica;
Contactpersoondr. J. Hage
Telefoon+31 30 2533283
E-mailJ.Hage@uu.nl
Docenten
Docent
dr. J. Hage
Feedback en bereikbaarheid
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
3
TimeslotD: WO-middag, WO-namiddag, Vrijdag
Onderwijsvorm
Voltijd
Opmerkinghttp://www.cs.uu.nl/education/vak.php?vak=INFOAPA
Aanmeldingsprocedureadministratie onderwijsinstituut
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
Inhoud

Every professional compiler performs an analysis of the source code of the program, to attempt to make the generated code more efficient, or to validate some aspects of the source code. Instances of this problem are type inferencing, data flow analysis (dead-code analysis) and control flow analysis. In addition, we also deal with Abstract Interpretation, a viewpoint on the semantics of programming languages and program execution within which we can also fit much of data and control flow analysis. Finally, we consider Type And Effect Systems which generalize the type inferencing part of the course Compiler Construction

 

http://www.cs.uu.nl/education/vak.php?vak=INFOAPA&jaar=2008

 

Ingangseisen
Je moet een geldige toelatingsbeschikking hebben
Verplicht materiaal
-
Aanbevolen materiaal
Boek
We use Principles of Program Analysis Nielson, Flemming, Nielson, Hanne R., Hankin, Chris Corr. 2nd printing, ISBN: 3-540-65410-0.
Werkvormen (aanwezigheidsplicht)
Hoorcollege

Practicum

Algemeen
Lectures and practical assignments, all of which takes place during the combi sessions. Lectures and work on practical assignments are alternated, starting with a lot of lectures, and gradually moving to fewer lectures and more practice hours. On average expect 4 hours of lectures and 3 hours of practical assistance per week.

Toetsen
Tentamen
Weging100
Minimum cijfer6

Beoordeling
The final grade consists of a weighted average of all the assignments to be computed as follows: 25% for the dataflow analysis assignment
40% for the control flow programming assignment
20% for the type and effect assignment
15% for the abstract interpretation assignment
subject to the condition that none of the grades is lower than 4.0. You have passed the course if the average is 5.5 or higher. In some cases the lecturer can demand an oral examination at the end to validate the given grade.

SluitenHelpPrint
Switch to English