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

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

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

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

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

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

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

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

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

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

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

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

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

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

Перейти в Telegram Bot