Statička analiza programa

Osnovne informacije

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

Upoznati studente konceptom analize programa (program analysis). Razumjeti četiri osnovna pristupa u analizi programa: „constraint-based analysis“, „abstract interpretation“, „type and effect systems“ i „dana-flow analysis“.

Sadržaj kolegija možete dohvatiti na sljedećem linku: PDF

Nastavnici

 

Osnovna literatura

  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

 

Dopunska literatura

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

 

 

Materijali

Materijali su dostupni na internom Teams kanalu kolegija pomoću kojeg se odvija i sva interna komunikacija. Studenti su obvezni registrirati se na Teams kanal kolegija. Šifra kanala kolegija pomoću kojeg se možete pridružiti kolegiju nalazi se u rasporedu.