Primitive programing algebra: general approfch to a problem of functional completeness

Primitive programing algebra: general approfch to a problem of functional completeness

The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2015
Автори: Yahanov, P.O., Redko, D.I., Redko, I.V., Zakharchenko, T.L.
Формат: Стаття
Мова:English
Опубліковано: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2015
Назва видання:Системні дослідження та інформаційні технології
Теми:
Математичні методи, моделі, проблеми і технології дослідження складних систем
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/123561
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-123561
record_format dspace
spelling irk-123456789-1235612017-09-07T03:03:42Z Primitive programing algebra: general approfch to a problem of functional completeness Yahanov, P.O. Redko, D.I. Redko, I.V. Zakharchenko, T.L. Математичні методи, моделі, проблеми і технології дослідження складних систем The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization. Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування. Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования. 2015 Article Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ. 1681–6048 http://dspace.nbuv.gov.ua/handle/123456789/123561 519.683.8 en Системні дослідження та інформаційні технології Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
topic Математичні методи, моделі, проблеми і технології дослідження складних систем
Математичні методи, моделі, проблеми і технології дослідження складних систем
spellingShingle Математичні методи, моделі, проблеми і технології дослідження складних систем
Математичні методи, моделі, проблеми і технології дослідження складних систем
Yahanov, P.O.
Redko, D.I.
Redko, I.V.
Zakharchenko, T.L.
Primitive programing algebra: general approfch to a problem of functional completeness
Системні дослідження та інформаційні технології
description The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization.
format Article
author Yahanov, P.O.
Redko, D.I.
Redko, I.V.
Zakharchenko, T.L.
author_facet Yahanov, P.O.
Redko, D.I.
Redko, I.V.
Zakharchenko, T.L.
author_sort Yahanov, P.O.
title Primitive programing algebra: general approfch to a problem of functional completeness
title_short Primitive programing algebra: general approfch to a problem of functional completeness
title_full Primitive programing algebra: general approfch to a problem of functional completeness
title_fullStr Primitive programing algebra: general approfch to a problem of functional completeness
title_full_unstemmed Primitive programing algebra: general approfch to a problem of functional completeness
title_sort primitive programing algebra: general approfch to a problem of functional completeness
publisher Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
publishDate 2015
topic_facet Математичні методи, моделі, проблеми і технології дослідження складних систем
url http://dspace.nbuv.gov.ua/handle/123456789/123561
citation_txt Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ.
series Системні дослідження та інформаційні технології
work_keys_str_mv AT yahanovpo primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness
AT redkodi primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness
AT redkoiv primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness
AT zakharchenkotl primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness
first_indexed 2023-10-18T20:44:27Z
last_indexed 2023-10-18T20:44:27Z
_version_ 1796150987262525440

Схожі ресурси