PPA 4/10: Formal Semantics 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 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