Welcome to the InfoSci Platform
Software Tools for Automated Program Design, Synthesis, and Auto-Tuning

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

Copyright: © 2021 |Pages: 37
ISBN13: 9781522593843|ISBN10: 1522593845|ISBN13 Softcover: 9781522593850|EISBN13: 9781522593867
DOI: 10.4018/978-1-5225-9384-3.ch005
Cite Chapter Cite Chapter

MLA

Anatoliy Doroshenko and Olena Yatsenko. "Software Tools for Automated Program Design, Synthesis, and Auto-Tuning." Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities, IGI Global, 2021, pp.143-179. https://doi.org/10.4018/978-1-5225-9384-3.ch005

APA

A. Doroshenko & O. Yatsenko (2021). Software Tools for Automated Program Design, Synthesis, and Auto-Tuning. IGI Global. https://doi.org/10.4018/978-1-5225-9384-3.ch005

Chicago

Anatoliy Doroshenko and Olena Yatsenko. "Software Tools for Automated Program Design, Synthesis, and Auto-Tuning." In Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities. Hershey, PA: IGI Global, 2021. https://doi.org/10.4018/978-1-5225-9384-3.ch005

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.