|
|
Кириленко Яков Александрович
старший преподаватель кафедры системного программирования СПбГУ
|
Соруководитель секции: |
|
Технологии трансляции
Интересует всё, что так или иначе является частью нелёгкого процесса
трансляции: от препроцессирования до оптимизаторов и кодогенераторов.
Сюда же входят и статические анализаторы, и алгоритмы верификации
программ можем рассмотреть. Весь процесс превращения формальной модели
в исполнимый код и сопутствующие преобразования. Принимаются не только
доклады об алгоритмах, но и интересные истории о применении,
сравнительные обзоры.
|
Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:
|
|