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

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

Новые методы, применения и открытые проблемы в реляционном программировании

October 15

miniKanren --- это чистый язык логического программирования с ограничениями, предназначенный для реляционного программирования. Таким образом, программы на miniKanren представляют собой математические отношения. Эти программы-отношения обладают интересными свойствами --- например, интерпретатор, написанный на miniKanren, "заодно" обладает способностью синтезировать программы. В докладе будут рассмотрены основы miniKanren и реляционного программирования. Затем будут представлены новые методы для реляционного программирования, новые применения, ставшие возможными благодаря этим методым, а также связанные с этим открытые проблемы. Конкретные, будут затронуты следующие темы: методы ускорения программного синтеза (работа совместно с Greg Rosenblatt, Michael Ballantyne, Rob Zinkov, Kanae Tsushima); прототп реляционного абстрактного интерпретатора (работа совместно с Nada Amin, David Darais, Tom Gilray, Kristopher Micinski); интеграция SMT-солверов в miniKanren (работа совместно с Nada Amin).

Докладчик: Уильям Бёрд, Университет Бирмингема, Алабама, США.