|
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
|
|