Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2025
• Heft: 2
• Сторінки: 62-70
• ISSN: 1727-4907
• Автори та афіліації: O.A. Yatsenko — Institute of Software Systems NAS of Ukraine
• 1. Verfasser: Yatsenko, O.A.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2025
• Schlagworte: UDC 681.3
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/779
• Назва журналу: Problems in programming

The approach to generation of terms by high-level specifications of algorithms is proposed. The generation is performed within the framework of joint use of symbolic computation system and algebro-algorithmic toolkit of program design and synthesis. The term rewriting system complements the algebro-...