Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools

Autor:	Kostiantyn Zhereb, Anatoliy Doroshenko, Olena Yatsenko
Rok vydání:	2013
Předmět:	Transformation (function) Programming language Simple (abstract algebra) Computer science Parallel algorithm Code generation Rewriting Program Design Language Performance improvement Term (logic) computer.software_genre computer
Zdroj:	Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783319039978
DOI:	10.1007/978-3-319-03998-5_5
Popis:	An approach to program design and synthesis using algebra-algorithmic specifications and rewriting rules techniques is proposed. An algebra-algorithmic toolkit based on the approach allows building syntactically correct and easy-to-understand algorithm specifications. The term rewriting system supplements the algebra-algorithmic toolkit with facilities for transformation of the sequential and parallel algorithms, enabling performance improvement. We demonstrate the usage of the proposed tools with a simple example of parallelizing sequential program and improving performance of a parallel program, and also discuss possible applications in larger real-world projects.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b4e831a3e449c8af341e2a27c76703de https://doi.org/10.1007/978-3-319-03998-5_5 Zobrazit plný text záznamu