The 4th lecture (80 minutes) from the 'Practical Program Analy | @yegor256news
The 4th lecture (80 minutes) from the "Practical Program Analysis" course is published. It's about formal semantics: operational and denotational. I tried to explain how it's possible to formalize a programming language.
Recent news from Yegor Bugayenko a.k.a. @yegor256 about computers and programmers. The blog is at www.yegor256.com. To discuss, join @bloghacks @zerocracy (EN) or @szdne @codeahead (RU). To talk a...