JetBrains Research — наука, меняющая мир

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

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

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

Семинар пройдет онлайн 9 ноября в 17:30, ссылка Google meet: https://meet.google.com/myu-dhmz-gvu