IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Software Tools for Automated Program Design, Synthesis, and Auto-Tuning

Software Tools for Automated Program Design, Synthesis, and Auto-Tuning
View Sample PDF
Copyright: 2021
Pages: 37
Source title: Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
Source Author(s)/Editor(s): Anatoliy Doroshenko (Institute of Software Systems, Ukraine) and Olena Yatsenko (Institute of Software Systems, Ukraine)
DOI: 10.4018/978-1-5225-9384-3.ch005

Purchase

View Software Tools for Automated Program Design, Synthesis, and Auto-Tuning on the publisher's website for pricing and purchasing information.

Abstract

The authors consider the software tools based on algebra-algorithmic models and formal methods of constructing algorithms and programs. The algebra-algorithmic integrated toolkit for design and synthesis of programs IDS, the rewriting rules system TermWare, and the auto-tuning framework TuningGenie are presented. IDS uses algebraic specifications based on Glushkov's algebra of algorithms, which are represented in three forms: algebraic (regular scheme), natural linguistic, and graphical (flowgraphs). IDS is based on the method of dialogue design of syntactically correct algorithm schemes, which eliminates syntax errors during construction of algorithm specifications. To automate transformations of algorithms and programs being designed, the rewriting rules system TermWare is used. TuningGenie framework is applied to automate the adjustment of programs to a target computing environment.

Related Content

. © 2021. 35 pages.
. © 2021. 30 pages.
. © 2021. 101 pages.
. © 2021. 25 pages.
. © 2021. 36 pages.
. © 2021. 28 pages.
. © 2021. 25 pages.
Body Bottom