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

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

Материалы к докладу:

Danny De Schreye, RobertGlück, Jesper Jørgensen, Michael Leuschel, Bern Martensa, Morten HeineSørensen. Conjunctive partial deduction: foundations, control, algorithms, and experiments.

Докладчик: Екатерина Вербицкая