Static program analysis

Basic Information

I073 (2+1+1) - 6 ECTS credits

Introduce students with concepts of program analysis. Understanding the four basic approaches in program analysis: constraint-based analysis, abstract interpretation, type and effect systems and data-flow analysis.

You can access the course content at the following link: PDF

Teachers

 

Basic literature

  1. F. Nielson, H. R. Nielson, C. Hankin, Principles of Program Analysis, Springer Verlag, 1999.
  2. A. Moller, M. I. Schwartzbach, Static Program Analysis, Aarhus University (lecture notes), 2018. https://cs.au.dk/~amoeller/spa/spa.pdf

 

Additional literature

  1. B. Milewski, Category Theory for Programmers, series of blog posts by Bartosz Milewski (https://github.com/hmemcpy/milewski-ctfp-pdf)

 

 

Teaching materials

The materials are available on the internal Teams channel of the course, through which all internal communication takes place. Students are required to register on the course’s Teams channel. The channel code for joining the course can be found in the schedule.