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