Исследовательская группа
Лаборатория языковых инструментов
Конъюнктивная частичная дедукция
10 декабря
В докладе будет рассказано про частичную дедукцию -- аналог суперкомпиляции для логического программирования. Эта техника улучшает поведение программ за счет избавления от промежуточных структур данных и повторого вычисления общих подвыражений. Поговорим, каким образом обеспечить терминируемость преобразования, а также какие преимущества дает рассмотрение конъюнкций в целом.
Материалы к докладу:
Докладчик: Екатерина Вербицкая