Лаборатория языковых инструментов

На семинаре мы познакомимся с различными классами языков, использующих оператор шаффла. Формально опишем самые интересные из них и изучим некоторые полезные свойства. Кроме того будут рассмотрены различные области, о которых особенно удобно рассуждать с использованием шаффла языков, а именно: анализ и верификация многопоточных программ, распознавание планов, обработка естественных языков и др.

Материалы к докладу:

M. Berglund et al. Shuffled Languages — Representation and Recognition

Докладчик: Артем Горохов