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

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

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

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

абстрактная машина П. Лендина(Верный ответ)

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

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

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

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

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

Какая вычислительная модель используется в Microsoft .NET?

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

Какая из перечисленных объектных моделей зависима от языка реализации?

Какая из сущностей, "объект" или "компонент", является более крупной?