What is Integrated Toolkit for Design and Synthesis of Programs (IDS)

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.