Cover Image

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System

This Paper reported the Approach to practical automatically Synthesis of Programs from Components, with direct received from Subject Field Model. This Approach is based on using non-monotone deductive Constructions. Potentiality to Organizations real Databases for programming Problems is considered.

Saved in:
Bibliographic Details
Date:2015
Main Author: Prihodko, P.P.
Format: Article
Language:Ukrainian
Published: PROBLEMS IN PROGRAMMING 2015
Subjects:
UDC 681.3.06
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/23
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items