Макрорасширение

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

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

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

Научные статьи на тему «Макрорасширение»

Разработка программы с использованием макрокоманд

При их помощи макрокоманды способны превратиться в макрорасширения, то есть, очередность предложений,

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

Операционная модель интуитивных доказательств

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

Creative Commons

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

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

Синхронные аппаратные прерывания, исключения (exceptions)

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

Системное ПО

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

Составной идентификатор

идентификатор объекта, включающий идентификаторы классов, которые вложены друг в друга.

Смотреть больше терминов

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

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

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