Виртуальная консоль
действующая программная модель системной консоли.
Макрорасширение
Предмет
Программирование
👍 Проверено
Автор24
подстановка, если тело подпрограммы просто копируется или подставляется в точку вызова, то мы получаем динамическую область видимости.
Научные статьи на тему «Макрорасширение»
Разработка программы с использованием макрокоманд
При их помощи макрокоманды способны превратиться в макрорасширения, то есть, очередность предложений,
Статья от экспертов
Операционная модель интуитивных доказательств
Предложена операционная модель интуитивного доказательства, представляющая собой последовательность команд, операндами которых служат формализованные математические утверждения. Множество команд является расширяемым. Операционная семантика команд определяется средствами макроязыка с использованием фиксированного множества базисных операций. Остаточная модель (макрорасширение) операционной модели интуитивного доказательства, формируемая макрогенератором макроязыка, представляет собой программу для виртуальной машины, успешное выполнение которой подтверждает правильность интуитивного доказательства.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Внешние символы (external symbol)
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
Коэффициенты линейных ограничений
нормы расхода ресурсов.
- Абстрактный класс
- Абстрактный родительский класс
- Активация путей
- Ассемблирование
- Виртуальная консоль
- Внутренняя память машины Тьюринга
- Восстанавливаемость программного обеспечения
- Динамическое связывание
- Класс объектов
- Коэффициенты линейных ограничений
- ЛПР
- Ортогональность языков программирования
- Поля
- Процедура начальной загрузки
- Символьный (литерный) тип
- Системное ПО
- Системы программирования
- Старшинство (приоритеты) операций
- Bytecode
- end
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек