Меню Главная Случайная статья Настройки Проект:Словники/Информатика/Введение в теорию языков программирования Материал из https://ru.wikipedia.org Термины теории языков программирования из: Довек Жиль, Леви Жан-Жак. Введение в теорию языков программирования. — М.: ДМК Пресс, 2013. — 134 с. — ISBN 9785940749134. -эквивалентность -редукция System F System T абстрактная машина алгоритм Дамаса — Милнера алгоритм унификации Робинсона (уточнено вручную) алгоритм Хиндли алгоритм Хиндли с немедленным разрешением (добавлено вручную) алфавитная эквивалентность арность вывод вызов по значению вызов по имени высота вычисление вычислитель деревья детерминированность задумка замкнутое множество замыкание рекурсивное замыкание запись запись с вызовом по значению запись с вызовом по имени значение оснащённое значение рациональное значение индекс де Брёйна (исправлено вручную) интерпретатор количество аргументов компилятор раскрутка компилятора композиция константа массив метка метод динамический метод статический метод модуль неподвижная точка Карри построение функций с помощью неподвижных точек непрерывная функция нумералы Чёрча нумералы позиционные объект окружение семантическое окружение типовое окружение индуктивное определение явное определение пары переименование переменная захват переменной изменяемая переменная окружение переменных побочный эффект подстановка полиморфизм полнота поля порядок Скотта сильно полный порядок слабо полный порядок правило предел редукция редукция ленивая редукция с вызовом по значению редукция с вызовом по имени слабая редукция редукция субъекта результат решение главное решение динамическое связывание позднее связывание статическое связывание семантика денотационная семантика операционная семантика операционная семантика с большим шагом операционная семантика с малым шагом слияние сорт сохранение типа при интерпретации списки ссылка стратегия терм замкнутый терм нередуцируемый терм тупиковый терм тип вывод типов главный тип проверка типов схема типа унификация язык