ppa

The course was designed by Yegor Bugayenko and has already been presented in a few universites.

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 Thu Jan 23 09:34:30 UTC 2025.

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.

There are a few other courses of the author which might be interesting for you: Software Quality Metrics, Open Source Best Practices, Program Management Beyond Agile, Practical Program Analysis, Software System Design, and Pain of Object-Oriented Programming.