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

Декларативное программирование (declarative programming)

Предмет Технологические машины и оборудование
👍 Проверено Автор24

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

Научные статьи на тему «Декларативное программирование (declarative programming)»

Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования

В работе предлагается декларативный подход к реализации автоматных объектов при использовании объектно-ориентированных императивных языков программирования со статической проверкой типов. Отличительной особенностью предлагаемого подхода является возможность применения наследования и вложения макросостояний.

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

Реляционное программирование с мемоизацией и отрицанием

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

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

Еще термины по предмету «Технологические машины и оборудование»

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

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

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

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

Перейти в Telegram Bot