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

A lecture for BSc students in Innopolis University. Blog: Books: GitHub: (don’t hesitate to follow in order to stay informed) Telegram channel with recent news and updates: (subscribe to not miss a thing) Twitter with daily and weekly updates: (follow me!) iTunes: SoundCloud: Yandex Music podcast by yegor256: 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