> -- Геннадий Тышов писал(а):
> У В.Д. Паронджанова ничего не сказано о .

Правильно. Но Владимир Даниелович очень аккуратно остаётся на своём поле. Вы же, пытаясь ссылаться на его книги, выдвигаете такие сильно-общие мысли, которые уже требуют для своего обоснования понимания доказательного программирования.

Доказательное программирование выдвигает определённые требования к конструкциям алгоритма. Этим требованиям нужно удовлетворять (и показывать, каким именно образом). Иначе предлагаемые конструкции неинтересны, они не соответствуют требованиям "сегодняшнего дня" (который начался уже 40 лет как, с момента того, как появились методы доказательства свойств программ).