Архив выступлений: 2009-2010 учебный год, весенний семестр
«Денотационная формальная семантика объявлений и типизации управляемого кода стандарта ECMA-335».
Аннотация доклада.
В докладе рассматривается задача построения статической семантики языка программирования. Будут изложены идеи основных подходов к построению формальной семантики, рассмотрена связь формальной семантики с задачей статического анализа программ и описан процесс построения статической денотационной семантики на примере управляемого кода стандарта ECMA-335.