PPA 5/10: Abstract Machines [program analysis crash course]

A lecture for BSc students in Innopolis University. Blog: https://www.yegor256.com Books: https://www.yegor256.com/books.html GitHub: https://github.com/yegor256 (don’t hesitate to follow in order to stay informed) Telegram channel with recent news and updates: https://t.me/yegor256news (subscribe to not miss a thing) Twitter with daily and weekly updates: https://twitter.com/yegor256 (follow me!) iTunes: https://podcasts.apple.com/us/podcast/yegor256-podcast/id1150826721 SoundCloud: https://soundcloud.com/yegor256 Yandex Music podcast by yegor256: https://music.yandex.ru/album/31142286 0:00 Introduction 2:18 Definition 12:28 Purpose 17:54 Virtual Machines 24:03 LLVM (Low Level Virtual Machine) 31:45 Turing Machine 38:17 Proof 43:06 λ-calculus 54:27 SECD Machine(s) 1:06:54 Semantic 1:19:56 Conclusion