Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез
рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики ...
Определено понятие нечетко специфицированного алгоритма. Рассмотрены особенности спецификации таких алгоритмов. Выделена одна из их эксплуатационных характеристик – функциональная эффективность. Показана значимость этой ...