ppa

Slidedecks of the course:

• 00-syllabus.pdf
• 01-grammar.pdf
• 02-syntax.pdf
• 03-ast.pdf
• 04-semantics.pdf
• 05-machines.pdf
• 06-program-analysis.pdf
• 07-data-flow-analysis.pdf
• 08-symbolic-execution.pdf
• 09-model-checking.pdf
• 10-machine-learning.pdf

Slidedecks have been compiled on Mon Dec 16 06:58:07 UTC 2024.

LaTeX sources are in the yegor256/ppa repository on GitHub.

Videos are in the playlist on YouTube.

All photo and video materials used in the slides were taken from public websites. If you believe that a mistake was made, please, don't hesitate and email me or simply submit a pull request with the necessary changes.