Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data

V.G. Akulovskiy, А.Yu. Doroshenko, O.A. Yatsenko

Abstract


The development of the algebra-algorithmic toolkit for designing and synthesis of programs for constructing of specifications of algorithms, which combine common definition of data and execution processes in algebra of algorithms with data, is proposed. The application of the proposed algebraic approach and the toolkit is illustrated on the example of the development of sorting programs.

Full Text:

PDF (Russian)

References


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

Дорошенко А.Е., Жереб К.А., Яценко Е.А. Формализованное проектирование эффективных многопоточных программ // Про-блеми програмування. – 2007. – № 1. – С. 17–30.

Дорошенко А.Е., Яценко Е.А., Жереб К.А. Средства синтеза параллельных MPI-программ // Проблеми програмування. – 2008. – № 2–3. – С. 595–604.

Дорошенко А.Ю., Бекетов О.Г., Жереб К.А., Яценко О.А. Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів // Проблеми програмування. – 2013. – № 3. – С. 38–46.

Акуловский В.Г. Алгебра алгоритмов, базирующаяся на данных // Кибернетика и системный анализ. – 2012. – № 2. – С. 151–166.

Акуловский В.Г., Дорошенко А.Е. Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата // Проблеми програмування. – 2013. – № 3. – С. 13–21.

Sannella D., Tarlecki A. Foundations of algebraic specification and formal software development. – Berlin: Springer-Verlag, 2012. – 594 p.

Flener P. Achievements and prospects of program synthesis // Lecture Notes in Artificial Intelligence. – 2002. – Vol. 2407. – P. 310–346.

Gulwani S. Dimensions in program synthesis // Proc. 12th Int. ACM SIGPLAN symposium on Principles and Practice of Declarative Programming, Hagenberg, Austria (26–28 July, 2010). – New York: ACM, 2010. – P. 13–24.

OpenMP Application Program Interface. –http://www.openmp.org/mp-documents/ OpenMP4.0.0.pdf.

Doroshenko A., Shevchenko R. A rewriting framework for rule-based programming dynamic applications // Fundamenta Informati-cae. – 2006. – 72, N 1–3. – P. 95–108.

Odd–even sort. – http://en.wikipedia.org/wiki/ Odd–even_sort

Pacheco P. More about loops in OpenMP: sorting // An introduction to parallel programming. – Burlington: Morgan Kaufmann, 2011. – P. 232–236.

Parallel Computing Lecture 15: OpenMP III. – http://cs.nyu.edu/courses/spring14/ CSCI-UA.0480-003/lecture15.pdf

Суперкомп'ютер ІК НАН України. – http://icybcluster.org.ua.


Refbacks

  • There are currently no refbacks.