Environmental aspects of reprezantation knowlend in algebra of algorithmic

G.E. Zeitlin, L.M. Zakharija, O.V. Zakharija, Y.I. Zhovnir

Abstract


This paper presents the environmental aspects of generation of algorithmic knowledge domains. Facilities of algorithmic formalization and synthesis of knowledge domains represent a triad - abstraction, biology and ecology of programming. As an abstract mechanism is used an algebraic formalism of the theory of clones. The biological component is responsible for the spread of obtained algorithmic knowledge to other tasks of the subject area and related areas. Environmental component is designed to build tools for support of abstract and biological components of the theory of clones. As part of the environmental components are offered different interpretations of algorithmic operations, facilities of the study of parallelism (including structural), the output engine of algorithmic knowledge, means to support the accumulated knowledge bases of subject areas.

Problems in programming 2010; 2-3:369-375


References


Многоуровневое структурное проектирование программ: Теоретические основы, инструментарий / Е.Л. Ющенко, Г.Е. Цейтлин, В.П. Грицай, Т.К. Терзян. – М.: Финансы и статистика, 1989. – 208 с.

Цейтлин Г.Е. Введение в алгоритмику. – К.: Сфера, 1998. – 310 с.

Czarnecki K., Eisenecker U. Generative Programming: Methods, Tools and Applications. 1st edn. Addison-Wesley Professional (2000). 864 p.

Кон П. Универсальная алгебра. – М.: Мир, 1968. – 348 с.

Курош А.Г. Лекции по общей алгебре. – М.: Физматгиз. – 1962. – 396 с.

Codd E.F. A Relational Model of Data for Large Shared Data Banks // Comm. ACM. – 1970. – Vol. 13. – N 6. – P. 377–387.

Грицай В.П., Захарія Л.М. Мультипроцесист – автоматизована система багаторівневого проектування програм. 0.3 // Тези доп. 9-ї

Всесоюз. наради з питань управління, Єреван. – 1983.

Захарія В.П., Захарія Л.М. Інструментарій синтезу програм для міні- і мікро ЕОМ, ,1.5 // Кібернетика. – № 6. – 1989.

Яценко Е.А., Мохница А.С. Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ // Проблеми програмування. 4-я Междунар. науч.-практ. конф. по программированию УкрПРОГ'2004. – 2004. – № 2–3. – С. 444–450.


Refbacks

  • There are currently no refbacks.