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

Abstract

Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод синтеза многопоточных программ на языке 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.