Topics in Static Analysis of Programs

This course covers selected algorithms and ideas from the are of static analysis, according to the research interests of the professor. The main topic will be termination analysis and the main method considered, size change termination.