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:02 Code Understanding Pipeline
5:06 Concrete vs. Abstract Syntax Tree
12:51 Identification
24:42 Static Type Checking
45:44 AST Visitor
58:30 Decorated AST
1:03:25 Control Flow Graph (CFG)
1:07:39 Code
1:14:00 XSL Code
1:17:48 Conclusion
1:11:22 Abstraction & Concretization
1:19:48 Abstract Semantics (Transformers)
1:22:04 Fixed-Point Computation
1:28:40 Conclusion
19 views
1165
336
6 days ago 00:01:18 5
Умная гирлянда штора
2 weeks ago 00:00:30 421
Клип сообщества Супчики | рецепты
2 weeks ago 00:00:52 90
Бабушкины супчики
3 weeks ago 00:00:15 26
Супчики на каждый день
3 weeks ago 00:12:27 231
[TechSolvePrac] Remove Ubuntu and Install Windows using Flash Drive
1 month ago 00:00:19 1.6K
Дело Экотекс.mp4
1 month ago 02:36:11 1
Учет аренды у арендатора и арендодателя, лизинг. Урок №2 из курса “Большой разбор ФСБУ 25/2018“
1 month ago 01:03:30 1
Обзор ФСБУ 25/2018. Кто может не применять стандарт. Урок №1 из курса “Большой разбор ФСБУ 25“
2 months ago 01:16:51 10
PPA 9/10: Model Checking [program analysis crash course]