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
Видео PPA 5/10: Abstract Machines [program analysis crash course] канала Yegor Bugayenko
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
Видео PPA 5/10: Abstract Machines [program analysis crash course] канала Yegor Bugayenko
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
S107: EOLANG - a new object oriented programming languageM58: Don't expect UI/UX people to work in microtasking mode, they are too creative for thatWeek 19.09: Mobile API, Callback API, First attack, General LedgerS135: OOP programming in Elegant Objects styleEQSP 10/20: Semantic Versioning of Artifacts [software quality crash course]PPA 10/10: Code Analysis With Machine Learning [program analysis crash course]SSD 2/16: Requirements Engineering [software design crash course]S10: Junior разработчик в 2024 годуM130: The root cause of most software problems is the chaos in the codeM108: Your job is to prepare your open source project for the future communityM132: Your pet projects are the best contribution to your resumeWeek 19.12: Zold security, PayPal, crypto future of Zerocracy, plansM136: Any software product has an unlimited number of bugsPPA 6/10: Ingredients of Program Analysis [program analysis crash course]M133: How much do you care about open source nature of your project?M159: If your objective is to keep the team intact, competition is not for youEQSP 2/20: XCOP and Customizing Checkstyle [software quality crash course]EQSP 9/20: Some Recipes Against Dependency Hell [software quality crash course]Shift-M/45: Risk Management with David Hillson, the Risk DoctorM163: If you as a manager don't punish wrong-doing, the team will punish youM151: Don't judge your people, let the market do it much better