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...

Full description

Bibliographic Details
Published in:Труды Института системного программирования РАН
Main Authors: P. . Lozov, D. . Boulytchev
Format: Article
Language:English
Published: Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/481