Виртуальная консоль
действующая программная модель системной консоли.
Макрорасширение
Предмет
Программирование
👍 Проверено
Автор24
подстановка, если тело подпрограммы просто копируется или подставляется в точку вызова, то мы получаем динамическую область видимости.
Научные статьи на тему «Макрорасширение»
Разработка программы с использованием макрокоманд
При их помощи макрокоманды способны превратиться в макрорасширения, то есть, очередность предложений,
Статья от экспертов
Операционная модель интуитивных доказательств
Предложена операционная модель интуитивного доказательства, представляющая собой последовательность команд, операндами которых служат формализованные математические утверждения. Множество команд является расширяемым. Операционная семантика команд определяется средствами макроязыка с использованием фиксированного множества базисных операций. Остаточная модель (макрорасширение) операционной модели интуитивного доказательства, формируемая макрогенератором макроязыка, представляет собой программу для виртуальной машины, успешное выполнение которой подтверждает правильность интуитивного доказательства.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Внутренняя память машины Тьюринга
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
Цикл с постусловием
цикл, в котором условие проверяется после выполнения тела цикла.
- Активация путей
- Алгоритм inplace_merge
- Ассемблирование
- Ввод-вывод
- Веб-дизайн
- Веб-программирование
- Виртуальная консоль
- Внутренняя память машины Тьюринга
- Восстанавливаемость программного обеспечения
- Отладка программы
- Поля
- Синхронные программные
- Система программирования
- Система счисления (СС)
- Системная программа
- Системы программирования
- Старшинство (приоритеты) операций
- Цикл с постусловием
- end
- J Java
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек