Компьютерные науки

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

Программа посвящена методу суперкомпиляции для специализации программ и реализации нестандартных семантик языков программирования.
Студентов 119 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебный курс посвящен методам суперкомпиляции для специализации и оптимизации программ. В материалах разбирается перенос суперкомпиляции на произвольные языки программирования и реализация проекций Футамуры–Турчина. Вводятся понятия нестандартных семантик и их модификаторов, обобщающие различные механизмы анализа и вычисления программ. Материал предназначен для разработчиков и специалистов по трансляции и оптимизации языков программирования.
Цели
  • Сформировать понимание методов суперкомпиляции и специализации программ.
  • Раскрыть принципы работы с нестандартными семантиками языков программирования.
  • Систематизировать знания о построении метапрограмм и оптимизации кода.
Чему я научусь?
  • Использовать суперкомпилятор для создания эффективных версий программ.
  • Анализировать нестандартные семантики и модификаторы языков программирования.
  • Применять проекции для эффективной реализации семантик и анализа программ.

Авторы

Абрамов Сергей Михайлович
Абрамов Сергей Михайлович
доктор физико-математических наук, директор Института Программных Систем РАН, директор Исследовательского центра мультипроцессорных систем, ректор Университета города Переславля-Залесского.
Чему я научусь?
  • Использовать суперкомпилятор для создания эффективных версий программ.
  • Анализировать нестандартные семантики и модификаторы языков программирования.
  • Применять проекции для эффективной реализации семантик и анализа программ.

Учебный план

№ Занятия
1 Суперкомпиляция: введение, идея, постановки задачи
2 Суперкомпиляция. Wh: алгоритм обнаружения возможого зацикливания. Упрощающее отношение, сравнение с-выражений
3 Numprog. Функции theSameTerm, whConf
4 Gener: построение тесной общей надконфиурации и постановка задачи. Обощение с-выражений и с-сред
5 genTabToSubsts. Построение sGenUp и sGenDn. Обобщение рестрикций. Условие rGen. Функции mkRestr, genRestr, genConf
6 isEqCUpCGen, mkSubstUpDn. Поправка Юрия Климова. Функции genRestr, mkRestr
7 Суперкомпилятор для языка TSG
8 Примеры суперкомпиляции
9 Нестандартные семантики
10 Нестандартные интерпретаторы

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^