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

Семинар по конъюнктивной частичной дедукции

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

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

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

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

10.12.2018, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28