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

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

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