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

P.P. Prihodko

Abstract


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.

References


Ершов А.П. Автоматизация программирования // Математическая энциклопедия / Под ред. И. М. Виноградов (глав. ред.) и др. Т. 1. – М.: Сов. энцикл., 1977. – С. 58—59.

Чень Ч., Ли Р. Математическая логика и машинное доказательство теорем. – М.: Наука, 1983. – 360 с.

Лавров С.С. Синтез программ // Кибернетика. – 1982. – № 6. – С. 11—16.

Тыугу Э.Х. Концептуальное программирование. – М.: Наука, 1984. – 256 с.

Диковский А.Я., Канович М.И. Вычислительные модели с разделяемыми подзадачами // Изв. АН СССР. Техн. кибернетика. – 1985. – №5. – С.36—59.

Канович М.И. Логические основы синтеза схем программ для решения вычислительных задач // Там же. – 1988. – №2. – С. 82—93.

Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. / А. Тейз, П. Грибомон, Ж. Луи и др. – М.: Мир, 1990. – 432 с.

Приходько П.П. Функциональный подход к концептуальному программированию // Дис. канд. физ.-мат. наук. – Киев, 1991. – 177 с.


Refbacks

  • There are currently no refbacks.