М. С. Чушкин, В. И. Шелехов, “Методы синтеза фрагментов предикатных программ”, ПДМ. Приложение, 2016, выпуск 9,страницы 126

Математические основы информатики и программирования

Методы синтеза фрагментов предикатных программ

М. С. Чушкин, В. И. Шелехов

Институт систем информатики СО РАН, г. Новосибирск

Аннотация: Рассматривается задача синтеза фрагментов предикатной программы. Синтезируемая программа определяется в форме композиции подпрограмм, полученных применением правил синтеза. Задача синтеза иллюстрируется на примере эффективной программы вычисления чисел Фибоначчи.

Ключевые слова: формальная операционная семантика, программный синтез, дедуктивная верификация.

УДК: 519.714

DOI: 10.17223/2226308X/9/50