SluitenHelpPrint
Switch to English
Cursus: INFOAPA
INFOAPA
Automatische programma-analyse
Cursus informatie
CursuscodeINFOAPA
Studiepunten (EC)7,5
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

 

SluitenHelpPrint
Switch to English