|
|
|
|
| LEADER |
01965nab a2200289 c 4500 |
| 001 |
vtls000582116 |
| 003 |
RU-ToGU |
| 005 |
20230319211439.0 |
| 007 |
cr | |
| 008 |
170915|2017 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/2226308X/10/59
|2 doi
|
| 035 |
|
|
|a to000582116
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Чушкин, Михаил Сергеевич
|
| 245 |
1 |
0 |
|a Завершение эскизов предикатных программ методом синтеза через контрпримеры
|c М. С. Чушкин
|
| 504 |
|
|
|a Библиогр.: 6 назв.
|
| 520 |
3 |
|
|a Программа на языке P представляет собой набор определений предикатов. Для языка P разработана операционная семантика. На базе операционной семантики определена формула тотальной корректности предиката относительно его спецификации. Для незаконченной программы на языке P ставится задача её завершения до корректной относительно спецификации. Метод синтеза выражений на основе контрпримеров успешно адаптирован для этой задачи.
|
| 653 |
|
|
|a предикатное программирование
|
| 653 |
|
|
|a операционная семантика
|
| 653 |
|
|
|a программный синтез
|
| 653 |
|
|
|a контрпримеры
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Прикладная дискретная математика. Приложение
|d 2017
|g № 10. С. 151-153
|x 2226-308X
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
7 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582116
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 426281
|d 426281
|
