О термальном аспекте автоматизации программирования
Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2006 |
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2006
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2325 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-2325 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-23252008-09-18T12:00:20Z О термальном аспекте автоматизации программирования Приходько, П.П. Теоретичні та методологічні основи програмування Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над данными в синтезируемых программах. Для изучения путей эффективного автоматического синтеза программ применяются сети Петри. Уточнюються основні положення немонотонного синтезу програм з переприсвоюваннями. Такий синтез розглядається з використанням теоретико-модельного підходу. Для дослідження прорамістської та декларативної семантики запропоновано використовуати многоосновні алгебри термів при представленні операцій над даними в програмах, що синтезуються. Для дослідження шляхів ефективного автоматичного синтезу програм використовуються мережі Петрі. 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. 2006 Article О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2325 681.3.06 ru Інститут програмних систем НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Приходько, П.П. О термальном аспекте автоматизации программирования |
description |
Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез
рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над данными в синтезируемых программах. Для изучения путей эффективного автоматического синтеза программ применяются сети Петри. |
format |
Article |
author |
Приходько, П.П. |
author_facet |
Приходько, П.П. |
author_sort |
Приходько, П.П. |
title |
О термальном аспекте автоматизации программирования |
title_short |
О термальном аспекте автоматизации программирования |
title_full |
О термальном аспекте автоматизации программирования |
title_fullStr |
О термальном аспекте автоматизации программирования |
title_full_unstemmed |
О термальном аспекте автоматизации программирования |
title_sort |
о термальном аспекте автоматизации программирования |
publisher |
Інститут програмних систем НАН України |
publishDate |
2006 |
topic_facet |
Теоретичні та методологічні основи програмування |
url |
http://dspace.nbuv.gov.ua/handle/123456789/2325 |
citation_txt |
О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. |
work_keys_str_mv |
AT prihodʹkopp otermalʹnomaspekteavtomatizaciiprogrammirovaniâ |
first_indexed |
2023-03-24T08:24:45Z |
last_indexed |
2023-03-24T08:24:45Z |
_version_ |
1796138980893261824 |