Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Еще термины по предмету «Программирование»

Алгоритм рекурсивный

алгоритм, при исполнении которого встречается команда вызова его же самого.

🌟 Рекомендуем тебе

Система Управления Базами Данных (СУБД)

программное обеспечение (информационная система), осуществляющее весь спектр операций по управлению базами данных, к которым относятся сама организация хранения данных, обработка инструкций SQL, организация резервного копирования, восстановление резервных копий и т.п.

🌟 Рекомендуем тебе

J Java

объектно-ориентированный язык программирования, разработанных компанией Sun Microsystems.

🌟 Рекомендуем тебе
Смотреть больше терминов

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

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

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot