Операционная семантика

Предмет Программирование

👍 Проверено Автор24

описание последствий отдельных шагов вычислений, которые имеют место при выполнении программы.

Научные статьи на тему «Операционная семантика»

Компоненты языка программирования

Семантика и синтаксис языков программирования Язык программирования (ЯП) предназначен для преобразования...
При создании нового ЯП разработчики исходят, прежде всего, из семантики - смысловой составляющей: чем...
На C# лучше всего писать программы, работающие под управлением операционной системы Microsoft Windows...
В машинные команды он преобразуется внутри т.н. виртуальной машины, скрывающей специфику операционной...
модулями (библиотеками) и приводит к виду, в котором она может быть использована в рамках той или иной операционной

Статья от экспертов

Операционная семантика ЛЯПАСа

Сообщается о разработке операционной семантики ЛЯПАСа. Описываются её возможные применения: доказательство методом абстрактной интерпретации корректности обращения к элементам комплекса и создание верифицирующего транслятора.

Creative Commons

Научный журнал

Понятие семантики в информатике

Операционная семантика применяется для синтаксических терминов языка....
Можно выделить следующие типы операционной семантики: Семантика аксиоматическая....
Это выражение операционной семантики конструкций в обозначениях языков программирования низкого уровня...
Это выражение операционной семантики конструкций в обозначениях программных языков высокого уровня....
Это выражение операционной семантики языковых конструкций в обозначениях самого этого языка.

Статья от экспертов

Моделирование операционной семантики машинных инструкций

В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для широкого класса целевых архитектур. Особенностью модели является то, что она предназначена для обратного по сравнению с классической компиляторной задачей тракта преобразований, но в то же время модель позволяет выполнять над ней различные оптимизирующие преобразования. Для описания целевой машины применяются внешние спецификации. Рассмотрена прототипная подсистема интерпретации модели.

Creative Commons

Научный журнал

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Попробовать тренажер