Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Назва видання: | №1 |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/329 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-329 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-3292008-10-14T20:23:50Z Метод доведення властивостей програм в композиційно-номінативних мовах IPCL Панченко, Т.В. Теоретичні та методологічні основи програмування Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість експоненційної. The compositional method for verification of special class systems, namely multi-instance program execution model in server environment with shared memory interleaving concurrency, is presented. The task is specified and appropriate models are developed here. Two types of partial correctness properties of programs in introduced compositional languages are formulated. Methodology of verification including method with linear complexity instead of exponential one is developed here. 2008 Article Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/329 681.3 uk №1 С. 3-16. Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Панченко, Т.В. Метод доведення властивостей програм в композиційно-номінативних мовах IPCL №1 |
| description |
Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного
виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере
ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні
моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість
експоненційної. |
| format |
Article |
| author |
Панченко, Т.В. |
| author_facet |
Панченко, Т.В. |
| author_sort |
Панченко, Т.В. |
| title |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_short |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_full |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_fullStr |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_full_unstemmed |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_sort |
метод доведення властивостей програм в композиційно-номінативних мовах ipcl |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/329 |
| citation_txt |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр. |
| series |
№1 |
| work_keys_str_mv |
AT pančenkotv metoddovedennâvlastivostejprogramvkompozicíjnonomínativnihmovahipcl |
| first_indexed |
2023-03-24T08:18:25Z |
| last_indexed |
2023-03-24T08:18:25Z |
| _version_ |
1796138790228590592 |