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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"