Исследовательская группа
Лаборатория языковых инструментов
Реляционный синтез сопоставления с образцом
9 ноября
В докладе будет произведен обзор современных методов компиляции сопоставления с образцом, а также изложен метод компиляции с помощью реляционного синтеза программ.
Доклад по статье D.Kosarev, D.Boulytchev "Relational Synthesis for Pattern Matching", принятой на конференцию APLAS 2020