О термальном аспекте автоматизации программирования
Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез
 рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении опер...
Saved in:
| Date: | 2006 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2325 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862722657985757184 |
|---|---|
| author | Приходько, П.П. |
| author_facet | Приходько, П.П. |
| citation_txt | О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T18:37:04Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2325 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T18:37:04Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Приходько, П.П. 2008-09-17T14:20:47Z 2008-09-17T14:20:47Z 2006 О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2325 681.3.06 Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез
 рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над данными в синтезируемых программах. Для изучения путей эффективного автоматического синтеза программ применяются сети Петри. Уточнюються основні положення немонотонного синтезу програм з переприсвоюваннями. Такий синтез розглядається з використанням теоретико-модельного підходу. Для дослідження прорамістської та декларативної семантики запропоновано використовуати многоосновні алгебри термів при представленні операцій над даними в програмах, що синтезуються. Для дослідження шляхів ефективного автоматичного синтезу програм використовуються мережі Петрі. 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. ru Інститут програмних систем НАН України Теоретичні та методологічні основи програмування О термальном аспекте автоматизации программирования Про термальний аспект автоматизації програмування About thermal aspect of automation of programming Article published earlier |
| spellingShingle | О термальном аспекте автоматизации программирования Приходько, П.П. Теоретичні та методологічні основи програмування |
| title | О термальном аспекте автоматизации программирования |
| title_alt | Про термальний аспект автоматизації програмування About thermal aspect of automation of programming |
| title_full | О термальном аспекте автоматизации программирования |
| title_fullStr | О термальном аспекте автоматизации программирования |
| title_full_unstemmed | О термальном аспекте автоматизации программирования |
| title_short | О термальном аспекте автоматизации программирования |
| title_sort | о термальном аспекте автоматизации программирования |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2325 |
| work_keys_str_mv | AT prihodʹkopp otermalʹnomaspekteavtomatizaciiprogrammirovaniâ AT prihodʹkopp protermalʹniiaspektavtomatizacííprogramuvannâ AT prihodʹkopp aboutthermalaspectofautomationofprogramming |