Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 |
nasplib_isofts_kiev_ua-123456789-329 |
|---|---|
| record_format |
dspace |
| spelling |
Панченко, Т.В. 2008-03-31T15:57:56Z 2008-03-31T15:57:56Z 2008 Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/329 681.3 Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість експоненційної. 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. uk Інститут програмних систем НАН України №1 С. 3-16. Теоретичні та методологічні основи програмування Метод доведення властивостей програм в композиційно-номінативних мовах IPCL The Method for Program Properties Proof in Compositional Nominative Languages IPCL Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| spellingShingle |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL Панченко, Т.В. Теоретичні та методологічні основи програмування |
| title_short |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_full |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_fullStr |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_full_unstemmed |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
| title_sort |
метод доведення властивостей програм в композиційно-номінативних мовах ipcl |
| author |
Панченко, Т.В. |
| author_facet |
Панченко, Т.В. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2008 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
The Method for Program Properties Proof in Compositional Nominative Languages IPCL |
| description |
Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного
виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере
ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні
моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість
експоненційної.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/329 |
| citation_txt |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр. |
| work_keys_str_mv |
AT pančenkotv metoddovedennâvlastivosteiprogramvkompozicíinonomínativnihmovahipcl AT pančenkotv themethodforprogrampropertiesproofincompositionalnominativelanguagesipcl |
| first_indexed |
2025-12-07T18:16:43Z |
| last_indexed |
2025-12-07T18:16:43Z |
| _version_ |
1850874426761936896 |