Исследовательская группа

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

Реляционный синтез сопоставления с образцом

November 9

В докладе будет произведен обзор современных методов компиляции сопоставления с образцом, а также изложен метод компиляции с помощью реляционного синтеза программ.

Доклад по статье D.Kosarev, D.Boulytchev "Relational Synthesis for Pattern Matching", принятой на конференцию APLAS 2020