Коэффициенты линейных ограничений
нормы расхода ресурсов.
Операционная семантика
Предмет
Программирование
👍 Проверено
Автор24
описание последствий отдельных шагов вычислений, которые имеют место при выполнении программы.
Научные статьи на тему «Операционная семантика»
Компоненты языка программирования
Семантика и синтаксис языков программирования
Язык программирования (ЯП) предназначен для преобразования...
При создании нового ЯП разработчики исходят, прежде всего, из семантики - смысловой составляющей: чем...
На C# лучше всего писать программы, работающие под управлением операционной системы Microsoft Windows...
В машинные команды он преобразуется внутри т.н. виртуальной машины, скрывающей специфику операционной...
модулями (библиотеками) и приводит к виду, в котором она может быть использована в рамках той или иной операционной
Статья от экспертов
Операционная семантика ЛЯПАСа
Сообщается о разработке операционной семантики ЛЯПАСа. Описываются её возможные применения: доказательство методом абстрактной интерпретации корректности обращения к элементам комплекса и создание верифицирующего транслятора.
Creative Commons
Научный журнал
Понятие семантики в информатике
Операционная семантика применяется для синтаксических терминов языка....
Можно выделить следующие типы операционной семантики:
Семантика аксиоматическая....
Это выражение операционной семантики конструкций в обозначениях языков программирования низкого уровня...
Это выражение операционной семантики конструкций в обозначениях программных языков высокого уровня....
Это выражение операционной семантики языковых конструкций в обозначениях самого этого языка.
Статья от экспертов
Моделирование операционной семантики машинных инструкций
В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для широкого класса целевых архитектур. Особенностью модели является то, что она предназначена для обратного по сравнению с классической компиляторной задачей тракта преобразований, но в то же время модель позволяет выполнять над ней различные оптимизирующие преобразования. Для описания целевой машины применяются внешние спецификации. Рассмотрена прототипная подсистема интерпретации модели.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
Система счисления
способ записи чисел с помощью заданного набора специальных знаков (цифр).
- Семантика
- Картографическая семантика
- Семантика топонима
- Аксиоматическая семантика
- Денотационная семантика
- Функциональная семантика
- Культурная семантика
- Семантика логическая
- Семантика синтаксиса
- Когнитивная семантика
- Порождающая семантика
- Процедурная семантика
- Фреймовая семантика
- Операционный блок
- Издержки операционные
- Операционные доходы
- Операционный бюджет
- Расход операционный
- Риск операционный
- Операционные цели
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
