Повнотекстовий пошук
Пошуковий запит: (<.>AT=Нікітченко Композиція побудови умови за$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Нікітченко М. С. Композиція побудови умови за прообразом у монотонних логіках Флойда-Хоара [Електронний ресурс] / М. С. Нікітченко, А. В. Криволап // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 3. - С. 166-171. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_3_34 Розглянуто програмні логіки з монотонною композицією Флойда - Хоара. Наведено визначення перетворювача предикатів - композиції побудови умови за прообразом для випадку зазначених вище програмних логік з частковими предикатами. Розглянуто основні композиції програмного рівня за винятком циклічної композиції. Для цих композицій подано формули, що надають змогу обчислити умову за прообразом за допомогою синтаксичних перетворень. Доведено, що одержані таким чином предикати будуть дійсно задовольняти визначенню композиції побудови умови за прообразом. Показано як використовуючи відповідні перетворювачі предикатів, можна звести проблему пошуку спростування трійки Флойда - Хоара в програмній логіці до пошуку спростування формули предикатної логіки.
|
|
|