Введение в теорию программирования. Функциональный подход

Какая формализация относится к денотационным семантикам?

(Отметьте один правильный вариант ответа.)

Варианты ответа

теория вычислений Д. Скотта(Верный ответ)

аксиоматический метод Ч. Хоара

абстрактная машина П. Лендина

Похожие вопросы

Какая формализация относится к операционным семантикам?

Какая формализация абстрактных машин является зрелой?

Какая формализация абстрактных машин отвечает требованию реализма?

Какое условие не относится к характеристическим равенствам КАМ?

Какая из формализаций адекватна для программирования?

Какая задача формализуема рекурсивно?

Какая операция называется каррированием?

Какая из формализаций является наиболее зрелой?

Какая из теорий не является формализацией семантики?