Какая формализация относится к денотационным семантикам?
(Отметьте один правильный вариант ответа.)
Варианты ответа
абстрактная машина П. Лендина
теория вычислений Д. Скотта(Верный ответ)
аксиоматический метод Ч. Хоара