Метавычисления и их приложения: суперкомпиляция и нестандартные семантики
[+]
Университет города Переславля им. А. К. Айламазяна
Опубликован: 07.03.2015 | Доступ: свободный | Студентов: 113 / 0
Темы: Программирование, Алгоритмы и дискретные структуры
Специальности: Программист, Архитектор программного обеспечения
Лекция 2:

Суперкомпиляция. Wh: алгоритм обнаружения возможого зацикливания. Упрощающее отношение, сравнение с-выражений
< Лекция 1 || Лекция 2

Презентация для лекции - здесь.

Дальше >>
< Лекция 1 || Лекция 2

Вопросы и ответы

вопросов: 0