Conversion Typed Functions into Relational Form

Relational programming is an approach that allows you to execute programs in different "directions" to get different behaviors from one relational specification. The direct development of relational programs is a complex task, requiring the developer to have certain skills. However, in man...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلفون الرئيسيون:	P. . Lozov, D. . Boulytchev
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
الموضوعات:	функциональное программирование реляционное программирование генерация программ
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/481

مواد مشابهة

Support tools for creation and transformation of functional-dataflow parallel programs
حسب: A. I. Legalov, وآخرون
منشور في: (2018-10-01)

Parallelization of implementations of purely sequential algorithms
حسب: A. B. Bugerya, وآخرون
منشور في: (2018-10-01)

On Construction and Verification of PLC-Programs
حسب: E. V. Kuzmin, وآخرون
منشور في: (2012-01-01)

On representation of simulation time in functional programming style
حسب: D. V. Buzdalov, وآخرون
منشور في: (2019-02-01)

Tail Recursion Transformation in Functional Dataflow Parallel Programs
حسب: A. I. Legalov, وآخرون
منشور في: (2012-01-01)

DECISION OF THE OPEN ASSIGNMENT PROBLEM BY STANDARD SIMPLEX METHOD
حسب: V. S. Mukha
منشور في: (2019-06-01)

Метод блоков восстановления для повышения надежности программного обеспечения: сравнение с мультиверсионным программированием
حسب: Д.В. Грузенкин, وآخرون
منشور في: (2022-08-01)

Some general approach to organization of software development
حسب: V. B. Fedotov
منشور في: (2010-02-01)

ИСПОЛЬЗОВАНИЕ ШАБЛОНА ПРОЕКТИРОВАНИЯ MVC ДЛЯ СОЗДАНИЯ ВЕБ-ПРИЛОЖЕНИЙ
حسب: Д. В. Щербакан
منشور في: (2014-08-01)

PROGRAMMING OF SKELETAL DEVELOPMENT IN CHILDREN: THE ROLE OF VITAMIN D
حسب: L A Scheplyagina
منشور في: (2014-12-01)

Certified Grammar Transformation to Chomsky Normal Form in F
حسب: M. I. Polubelova, وآخرون
منشور في: (2018-10-01)

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages
حسب: V. A. Semenov, وآخرون
منشور في: (2018-10-01)

Теоретико-методическое обоснование программирования макроцикла подготовки спортсменок, специализирующихся в скоростно-силовых видах легкой атлетики
حسب: Є. П. Врублевський
منشور في: (2011-12-01)

METHOD OF BINARY ANALYTIC PROGRAMMING TO LOOK FOR OPTIMAL MATHEMATICAL EXPRESSION
حسب: Askhat I Diveev, وآخرون
منشور في: (2017-12-01)

A combined method for verification of large-scale data models
حسب: V. A. Semenov, وآخرون
منشور في: (2018-10-01)

REGISTRAR OF KINEMATICAL PARAMETERS OF ELECTRICAL MACHINES WITH SEPARATE ARCHITECTURE OF SYSTEM SOFTWARE
حسب: V.S. BYKADOR, وآخرون
منشور في: (2018-08-01)

GENERATION OF PSEUDORANDOM NUMBERS
حسب: Gladskih Yur’evich Gladkih
منشور في: (2022-10-01)

MODEL OF WORK OF GRANT FUND
حسب: T. Gataullin, وآخرون
منشور في: (2016-02-01)

RELAXED MANGASARIAN-FROMOVITZ CONSTRAINT QUALIFICATION AND ITS APPLICATIONS
حسب: S. V. Aktanarovich, وآخرون
منشور في: (2019-06-01)

Research and development of inefficiency patterns in MPI, UPC applications
حسب: M. S. Akopyan, وآخرون
منشور في: (2018-10-01)

Usability of AutoProof: a case study of software verification
حسب: Mansur Khazeev, وآخرون
منشور في: (2018-10-01)

О применении одного класса интегральных штрафных функций при решении вариационных задач
حسب: Т.В. Саженкова, وآخرون
منشور في: (2018-03-01)

О применении одного класса параметрических функций в качестве внешних штрафов при решении нелинейных задач с ограничениями
حسب: Т.В. Саженкова, وآخرون
منشور في: (2019-03-01)

Some Notes about Arrangements of Points on Quadrics
حسب: A. V. Seliverstov
منشور في: (2012-01-01)

DYNAMIC PLANNING INDICATORS FOR OPTIMISING THE ENERGY MODERNISATION OF RESIDENTIAL HOUSING STOCK
حسب: S. K. Bayramukov, وآخرون
منشور في: (2017-03-01)

SECOND ORDER OPTIMALITY CONDITIONS
حسب: A. E. Leschov, وآخرون
منشور في: (2019-06-01)

Cуицидологический аспект личностных расстройств: превенция с помощью техник НЛП
حسب: G. Kassen, وآخرون
منشور في: (2014-12-01)

Cуицидологический аспект личностных расстройств: превенция с помощью техник НЛП
حسب: G. Kassen, وآخرون
منشور في: (2014-12-01)

A Survey of Methods and Tools for Test Program Generation for Microprocessors
حسب: A. D. Tatarnikov
منشور في: (2018-10-01)

Анализ эффективности принятия решений в мультиверсионном программировании
حسب: А. А. Торгашин, وآخرون
منشور في: (2025-08-01)

Планирование траектории полета БПЛА при мониторинге большой области
حسب: Alexey Rodionov, وآخرون
منشور في: (2025-06-01)

Covering functionality of database applications by generating special data
حسب: Evgeny Kostychev, وآخرون
منشور في: (2018-10-01)

Improvement of the automatic temperature stabilisation process in the cryovacuum unit
حسب: O. Yu. Golikov, وآخرون
منشور في: (2024-12-01)

Technique The Instrumentation A Code And Optimization of code lines in modeling phase transitions on the programming language C++
حسب: E. V. Palchevsky, وآخرون
منشور في: (2018-10-01)

A survey of emerging models and methods of scheduling
حسب: A. S. Anichkin, وآخرون
منشور في: (2018-10-01)

Object-oriented framework for software development of scheduling applications
حسب: A. S. Anichkin, وآخرون
منشور في: (2018-10-01)

Evolutionary development of a visual planning system using object-oriented framework
حسب: A. S. Anichkin, وآخرون
منشور في: (2018-10-01)

ДИСФУНКЦИЯ ПЛАЦЕНТЫ ПРИ МАТЕРИНСКОМ ОЖИРЕНИИ — КЛЮЧЕВОЙ МЕХАНИЗМ ФЕТАЛЬНОГО ПРОГРАММИРОВАНИЯ МЕТАБОЛИЧЕСКОГО СИНДРОМА У ПЛОДА
حسب: Вероника Владимировна Комар, وآخرون
منشور في: (2025-08-01)

Применение булевой алгебры в программировании
حسب: И. Н. Карцан, وآخرون
منشور في: (2025-05-01)

EXTENDED CONSTANT RANK CONDITION AND ITS APPLICATION TO PARAMETRIC OPTIMIZATION PROBLEMS
حسب: S. V. Aktanorovich, وآخرون
منشور في: (2019-06-01)