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

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

Показывать лекцию целиком

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

Вернуться к учебному плану