Solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further improve research on design, synthesis, and optimization of sequential and parallel algorithms and programs.