О термальном аспекте автоматизации программирования
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О термальном аспекте автоматизации программирования
|
|
| Creator |
Приходько, П.П.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над данными в синтезируемых программах. Для изучения путей эффективного автоматического синтеза программ применяются сети Петри. Уточнюються основні положення немонотонного синтезу програм з переприсвоюваннями. Такий синтез розглядається з використанням теоретико-модельного підходу. Для дослідження прорамістської та декларативної семантики запропоновано використовуати многоосновні алгебри термів при представленні операцій над даними в програмах, що синтезуються. Для дослідження шляхів ефективного автоматичного синтезу програм використовуються мережі Петрі. Substantive provisions of nonmonotonic synthesis of programs with reassignments are specified. Such synthesis is considered with use of the approach with models theory. For studying programmer and declarative semantics it is offered to use the multibasic algebras of terms at representation of operations above the data in synthesized programs. Petri nets are applied to studying ways of effective automatic synthesis of programs. |
|
| Date |
2008-09-17T14:20:47Z
2008-09-17T14:20:47Z 2006 |
|
| Type |
Article
|
|
| Identifier |
О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2325 681.3.06 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|