Рассмотрим, чем статически компилируемые языки отличаются от динамически компилируемых, что такое трансляционная семантика, чем трансляция отличается от исполнения и какие странные ограничения статических компиляторов это порождает. Слайды:
00:00 Введение. 08:18 Абстрактная машина языка и as-if rule. 16:44 Трансляционная семантика и виды поведения программ. 25:10 Борьба против UB это борьба против производительности. 35:20 Смешение трансляции и исполнения. 43:10 Резюме, выводы и ответы на вопросы.
