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

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

Зимняя школа по метавычислениям

3-7 февраля 2014 г.

5661b9c218fac.jpg

Ведущий специалист: Илья Ключников, Институт прикладной математики им. М.В. Келдыша РАН, Москва, Россия.

Программа школы:

  • Общее введение в символьные вычисления и метавычисления.
  • Интерпретация. Дерево процессов. Прогонка (символьное исполнение программы).
  • Использование дерева процессов.
    • Окрестностный анализ и окрестностное тестирование.
    • Инверсные вычисления. УРА (универсальный решающий алгоритм).
    • Связь с логическим и реляционным программированием.
  • Методы суперкомпиляции.
    • Свертка дерева процессов.
    • Генерация остаточной программы.
    • Дефорестация (как частный случай суперкомпиляции).
    • Критерии завершаемости.
    • Алгоритмы обобщения.
    • Теорема о линейном ускорении.
    • Обзор методов доказательства корректности преобразований программ.
  • Расширения методов суперкомпиляции.
    • Многорезультатная суперкомпиляция.
    • Многоуровневая суперкомпиляция.
  • Обзор других методов метавычислений.
    • Частичные вычисления.
    • Метавычисления в логическом программировании (частичная дедукция).
    • Инструменты оптимизации и анализа программ, основанные на методах метавычислений.

Литература:

Требования к слушателям:

  • Знание основ языка Haskell: algebraic data types, pattern matching, lazy evaluation, higher-order functions. Для ознакомления рекомендуется прочесть первые шесть глав книги Learn You a Haskell for Great Good! (переведена на русский).

Будет полезным: