База ответов ИНТУИТ

Введение в теорию программирования. Объектно-ориентированный подход

<<- Назад к вопросам

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

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

Варианты ответа
абстрактная машина П. Лендина
теория вычислений Д. Скотта(Верный ответ)
аксиоматический метод Ч. Хоара
Похожие вопросы
Какая формализация относится к операционным семантикам?
Какая информация является идентификатором сборки?
Какая вычислительная модель используется в Microsoft .NET?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?
Какая из сущностей, "объект" или "компонент", является более крупной?
Какая из перечисленных объектных моделей зависима от языка реализации?