Метавычисления и их приложения: Суперкомпиляция и нестандартные семантики

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 
В учебном курсе определяется один из методов метавычислений — суперкомпиляция,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — суперкомпилятор.
Суперкомпилятор позволяет по заданной программе p вычислять ее эффективную версию pcls, специализированную под случай, когда входные данные d не произвольные, а берутся из некоторого множества (заданного некоторым классом cls). Показано, что суперкомпиляция может эффективно решать классические задачи специализации программ, реализовывать классические проекции Футамуры–Турчина. В курсе рассмотрен перенос суперкомпиляции на произвольный язык программирования. В завершении курса вводятся понятия нестандартных семантик и модификаторов семантик языков программирования. Показано, что эти понятия обобщают конструкции переноса в произвольные языки программирования таких механизмов как окрестностный анализ, инверсное вычисление, суперкомпиляция, да и стандартное вычисление. Курс завершается построением семи схем проекций, которые (за счёт специализации, например, при помощи суперкомпилятора) позволяют получить семь программ для эффективной реализации нестандартных семантик.

План занятий

ЗанятиеЗаголовок <<Дата изучения
Лекция 1
 -
Лекция 2
 -
Лекция 3
 -
Лекция 4
 -
Лекция 5
 -
Лекция 6
 -
Лекция 7
 -
Лекция 8
 -
Лекция 9
 -
Лекция 10
 -