О термальном аспекте автоматизации программирования
Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над...
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| id |
nasplib_isofts_kiev_ua-123456789-2325 |
|---|---|
| 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 |
| 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 |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Про термальний аспект автоматизації програмування About thermal aspect of automation of programming |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2325 |
| citation_txt |
О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. |
| work_keys_str_mv |
AT prihodʹkopp otermalʹnomaspekteavtomatizaciiprogrammirovaniâ AT prihodʹkopp protermalʹniiaspektavtomatizacííprogramuvannâ AT prihodʹkopp aboutthermalaspectofautomationofprogramming |
| first_indexed |
2025-12-07T18:37:04Z |
| last_indexed |
2025-12-07T18:37:04Z |
| _version_ |
1850875706823671808 |