Ukrainian
Summary:Важливою проблемою сучасного програмування є його математизація, розробка формалізованих мов проектування алгоритмів і програм, а також їх абстрактних моделей. Засоби проектування, аналізу й реалізації алгоритмів є особливо актуальними у зв’язку з сучасними процесами комп’ютеризації й автоматизації діяльності суспільства. Такі засоби розробляють у рамках алгоритміки та алгебраїчного програмування — напрямів української алгебро-кібернетичної школи, що беруть свій початок від фундаментальних робіт академіка В.М. Глушкова. У книзі запропоновані нові моделі, методи та інструментальні засоби для побудови послідовних та паралельних програм, що грунтуються на алгоритміці та парадигмі переписування термів. Вивчено проблему розробки ефективних програм для мультипроцесорних архітектур на основі використання інструментів автоматизованого проектування алгоритмів та синтезу програм.
Summary:Важливою проблемою сучасного програмування є його математизація, розробка формалізованих мов проектування алгоритмів і програм, а також їх абстрактних моделей. Засоби проектування, аналізу й реалізації алгоритмів є особливо актуальними у зв’язку з сучасними процесами комп’ютеризації й автоматизації діяльності суспільства. Такі засоби розробляють у рамках алгоритміки та алгебраїчного програмування — напрямів української алгебро-кібернетичної школи, що беруть свій початок від фундаментальних робіт академіка В.М. Глушкова. У книзі запропоновані нові моделі, методи та інструментальні засоби для побудови послідовних та паралельних програм, що грунтуються на алгоритміці та парадигмі переписування термів. Вивчено проблему розробки ефективних програм для мультипроцесорних архітектур на основі використання інструментів автоматизованого проектування алгоритмів та синтезу програм.
Summary: Розглянуто результати застосування створених інструментальних засобів для розробки програм у різноманітних предметних областях.
Reading audience:Книга буде корисною для широкого кола фахівців, аспірантів та студентів, що займаються проблемами автоматизації проектування і програмування паралельних обчислень.
English
Summary:The important challenge of modem programming is its mathematization, the development of formalized languages for designing algorithms and programs as well as their abstract models. The facilities for design, analysis and implementation of algorithms are especially actual in connection with essential processes of computerization and automation of society activities. Such facilities are developed within the framework of algorithmics and algebraic programming, which are the directions of Ukrainian algebraic-cybernetic school originating from fundamental works of Academician V.M. Glushkov. The book proposes formal models, methods and software tools for design of sequential and parallel programs, which are based on algebras of algorithms and term rewriting paradigm.
Summary:The important challenge of modem programming is its mathematization, the development of formalized languages for designing algorithms and programs as well as their abstract models. The facilities for design, analysis and implementation of algorithms are especially actual in connection with essential processes of computerization and automation of society activities. Such facilities are developed within the framework of algorithmics and algebraic programming, which are the directions of Ukrainian algebraic-cybernetic school originating from fundamental works of Academician V.M. Glushkov. The book proposes formal models, methods and software tools for design of sequential and parallel programs, which are based on algebras of algorithms and term rewriting paradigm.