PPA 4/10: Formal Semantics [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
4:45 Instruments. Inference Rule
9:03 Axiom
10:18 Transition Rule
27:36 Proof Tree
38:20 Operational vs. Denotational Semantic
50:38 Natural Semantic (Denotational)
57:15 Tree
1:01:35 Structural Semantic (Operational) - SOS
1:04:19 Reduction Semantic
1:08:21 Normal Form
1:16:52 Software (Soq)
1:18:26 Literature

Видео PPA 4/10: Formal Semantics [program analysis crash course] канала Yegor Bugayenko