Лаборатория языковых инструментов
Эффективная справедливая конъюнкция для структурно-рекурсивных отношений
Реляционный язык miniKanren является декларативным языком, однако одна из его базовых операций --- конъюнкция --- обладает императивными свойствами. Как эффективность, так и сходимость вычисления конъюнкции зависит от порядка конъюнктов в программе. Поэтому при написании реляционной программы пользователь должен самостоятельно определить наиболее оптимальный порядок конъюнктов.
В докладе мы рассмотрим более декларативный подход к вычислению реляционных программ, при котором порядок конъюнктов не влияет на сходимость и привносить незначительные накладные расходы.
Доклад по статье P.Lozov, D.Boulytchev "Efficient Fair Conjunction for Structurally-Recursive Relations", принятой на конференцию PEPM 2021.
Докладчик: Пётр Лозов
Материалы
P.Lozov, D.Boulytchev "Efficient Fair Conjunction for Structurally-Recursive Relations"
Семинар пройдет онлайн 23 ноября в 17:30, ссылка Google meet: https://meet.google.com/myu-dhmz-gvu