Исследовательская группа
Лаборатория языковых инструментов
"Шаффл" языков
12 марта
На семинаре мы познакомимся с различными классами языков, использующих оператор шаффла. Формально опишем самые интересные из них и изучим некоторые полезные свойства. Кроме того будут рассмотрены различные области, о которых особенно удобно рассуждать с использованием шаффла языков, а именно: анализ и верификация многопоточных программ, распознавание планов, обработка естественных языков и др.
Материалы к докладу:
M. Berglund et al. Shuffled Languages — Representation and Recognition
Докладчик: Артем Горохов