Звено (Ink)
твердое тело, соединяющее соседние шарниры.
Декларативное программирование (declarative programming)
Предмет
Технологические машины и оборудование
👍 Проверено
Автор24
парадигма программирования, которая описывает действия надданными в виде выражения определений.
Научные статьи на тему «Декларативное программирование (declarative programming)»
Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования
В работе предлагается декларативный подход к реализации автоматных объектов при использовании объектно-ориентированных императивных языков программирования со статической проверкой типов. Отличительной особенностью предлагаемого подхода является возможность применения наследования и вложения макросостояний.
Creative Commons
Научный журнал
Реляционное программирование с мемоизацией и отрицанием
Реляционная парадигма позволяет описывать программы как набор отношений. Отношения не делают различий между входными и выходными параметрами. Благодаря этому одна и та же реляционная программа может использоваться для решения нескольких связанных проблем. В статье представлена реализация двух расширений реляционного программирования, полезных при разработке интерпретаторов: табличной мемоизации и конструктивного отрицания. Мемоизация позволяет эффективно обходить пространство состояний интерпретатора, а отрицание – проверять, что заданное состояние интерпретатора недостижимо. Полезность данных расширений продемонстрирована на примере интерпретатора для многопоточного императивного языка программирования.
Creative Commons
Научный журнал
Еще термины по предмету «Технологические машины и оборудование»
Мотальная паковка
намотанная нить с нитеносителем; при намотке нити непосредственно на шпиндель веретена паковка не содержит нитеносителя.
Перемещение вперед (forward travel)
движение мобильной платформы по направлению оси +Хр.
- Декларативная целостность (declarative integrity)
- Программирование задач; программирование (task programming; programming)
- Декларативное (логическое, продукционное) программирование
- Система программирования (programming system)
- Структурное программирование (structured programming)
- Язык программирования (programming language)
- Императивное программирование (imperative programming)
- Парадигма программирования (programming paradigm)
- Программирование обучением (teach programming)
- Целевое программирование (goal-directed programming)
- Целенаправленное программирование (goal-directed programming)
- Автономное программирование (off-line programming)
- Программирование (выполнения задания) ((task) programming)
- Программирование путем обучения (teach programming)
- Обучение, программирование путем обучения, функциональное программирование (teach, teach programming, task programming)
- Реализация языка программирования (programming language implementation)
- Программирование
- Декларативный (непроцедурный) язык
- Объектно-ориентированное программирование; ООП (object-oriented programming)
- Дискретное программирование (целочисленное программирование)
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек