Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
|
|
| Creator |
Панченко, Т.В.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| 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. |
|
| Date |
2008-03-31T15:57:56Z
2008-03-31T15:57:56Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/329 681.3 |
|
| Language |
uk
|
|
| Relation |
№1
С. 3-16. |
|
| Publisher |
Інститут програмних систем НАН України
|
|