Показано, що в композиційному програмуванні семантичні структури програм, що містять як послідовне так і паралельне виконання операторів з подальшим злиттям, можна перетворити в еквівалентні за поведінкою чисто послідовні програми. Чисто послідовна програма може бути побудована з даних операторів за допомогою формальної процедури, для якої потрібно лише знання вхідних і вихідних інтерфейсів, але не їх семантики.
Ключові слова: композиція, послідовно-паралельна програма, чисто послідовна програма.
It is shown that semantic structures of programs that contain both sequential and parallel combinations of statements with further merging, in compositional programming, could be transformed to behaviorally equivalent entirely sequential programs. This entirely sequential program could be built by a formal procedure that only needs to know input and output interfaces of statements but not their semantics.
Key Words: composition, sequential-parallel program, entirely sequential program.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин