Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих програм. Інструментальні засоби грунтуються на апараті алг...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1522 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1522 |
|---|---|
| record_format |
dspace |
| spelling |
Яценко, О.А. 2008-08-21T16:34:05Z 2008-08-21T16:34:05Z 2006 Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1522 681.3 Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих програм. Інструментальні засоби грунтуються на апараті алгебри алгоритміки (стратегіях обробки, метаправилах конструювання схем). Розроблено низку паралельних алгоритмів сортування та пошуку, що входять до запропонованого середовища інструментарію для проектування та генерації програм символьної мультиобробки. Розглянуто перспективи застосування засобів Grid-обчислень для реалізації паралельних алгоритмів та програм. The article is devoted to consideration of the results got within farther development of the environment of constructing of algorithmic knowledge of multiprocessing and integrated tool of designing and synthesis of consecutive and parallel object-oriented programs. The tools are based on algorithmics algebra apparatus (strategies of processing, metarules of schemes constructing). Several concurrent sort and search algorithms, which belong to the environment proposed, were developed. The tools are applied for designing and generation of programs of symbol multiprocessing. The prospects of applying of Grid-computation means for realization of parallel algorithms and programs are considered. uk Інститут програмних систем НАН України Формальні методи програмування Середовище конструювання алгоритмічних знань та інструментарій синтезу програм The environment of constructing of algorithmic knowledge and tools of program synthesis Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| spellingShingle |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм Яценко, О.А. Формальні методи програмування |
| title_short |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_full |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_fullStr |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_full_unstemmed |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| title_sort |
середовище конструювання алгоритмічних знань та інструментарій синтезу програм |
| author |
Яценко, О.А. |
| author_facet |
Яценко, О.А. |
| topic |
Формальні методи програмування |
| topic_facet |
Формальні методи програмування |
| publishDate |
2006 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
The environment of constructing of algorithmic knowledge and tools of program synthesis |
| description |
Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань
мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних об’єктно-орієнтованих
програм. Інструментальні засоби грунтуються на апараті алгебри алгоритміки (стратегіях обробки, метаправилах конструювання
схем). Розроблено низку паралельних алгоритмів сортування та пошуку, що входять до запропонованого середовища
інструментарію для проектування та генерації програм символьної мультиобробки. Розглянуто перспективи застосування засобів
Grid-обчислень для реалізації паралельних алгоритмів та програм.
The article is devoted to consideration of the results got within farther development of the environment of constructing of algorithmic
knowledge of multiprocessing and integrated tool of designing and synthesis of consecutive and parallel object-oriented programs. The tools
are based on algorithmics algebra apparatus (strategies of processing, metarules of schemes constructing). Several concurrent sort and search
algorithms, which belong to the environment proposed, were developed. The tools are applied for designing and generation of programs of
symbol multiprocessing. The prospects of applying of Grid-computation means for realization of parallel algorithms and programs are
considered.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1522 |
| citation_txt |
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм / О.А. Яценко // Проблеми програмування. — 2006. — N 2-3. — С. 349-359. — Бібліогр.: 11 назв. — укр. |
| work_keys_str_mv |
AT âcenkooa seredoviŝekonstruûvannâalgoritmíčnihznanʹtaínstrumentaríisintezuprogram AT âcenkooa theenvironmentofconstructingofalgorithmicknowledgeandtoolsofprogramsynthesis |
| first_indexed |
2025-12-07T13:37:52Z |
| last_indexed |
2025-12-07T13:37:52Z |
| _version_ |
1850856882428706816 |