Formal methods of parallel software design automation
Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel and natural linguistic representation of algorithms and apply rewriting rul...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2020
|
| Назва видання: | Доповіді НАН України |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/170619 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Formal methods of parallel software design automation / A.Yu. Doroshenko, O.A. Yatsenko // Доповіді Національної академії наук України. — 2020. — № 6. — С. 15-20. — Бібліогр.: 10 назв. — англ. |