О синтезе программ на языке Java по алгеброалгоритмическим спецификациям

• Date: 2006
• Main Authors: Дорошенко, А.Е., Яценко, Е.А.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2006
• Subjects: Інструментальні засоби і середовища програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/2334
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: О синтезе программ на языке Java по алгеброалгоритмическим спецификациям / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2006. — N 4. — С. 58-70. — Бібліогр.: 15 назв. — рос.

Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод синтеза многопоточных программ на языке Java по схемам асинхронных алгоритмов. Розглянуто засоби алгоритмічних описів для подання послідовних і асинхронних алгоритмів для їх формалізованого проектування. Запропоновано алгоритми діалогового конструювання алгоритмів та генерації програм в цільових мовах програмування. Описано метод синтезу багатопоточних програм мовою Java за схемами асинхронних алгоритмів. The means of algorithmic descriptions for representation of sequential and asynchronous algorithms for their formalized designing are considered. The algorithms of dialogue constructing of algorithms and generating of programs in target programming languages are offered. The method of synthesis of multithreaded programs in Java corresponding to the schemes of asynchronous algorithms is described.