Some approaches to the control and transformation of algorithms over the analysis of the data which are specified

V.G. Akulovsky

Abstract


The approaches to the control of a correctness of algorithms, over the analysis of the data which are specified also approaches to optimization of consecutive algorithms as a result of transformation of streams of the data are offered.

Problems in programming 2008; 4: 84-93


References


Турский В. Методология программирования. – М.: Мир, 1981. 264 с.

Акуловский В.Г. Расширенная алгебра алгоритмов//Проблеми програмування.- 2007. – № 3. С. 3–15.

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного

программирования. – Киев: Академперіодика, 2007. – 634 с.

Акуловский В.Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов // Кибернетика и системный анализ. – 2008. – № 6.

Цейтлин Г.Е., Бакулин А.В. Многоуровневые структурированные проекты программ и их обоснование // Кибернетика и системный анализ. – 1991. – № 5. – С. 98–107.


Refbacks

  • There are currently no refbacks.