О термальном аспекте автоматизации программирования

Abstract

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

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

Substantive provisions of nonmonotonic synthesis of programs with reassignments are specified. Such synthesis is considered with use of the approach with models theory. For studying programmer and declarative semantics it is offered to use the multibasic algebras of terms at representation of operations above the data in synthesized programs. Petri nets are applied to studying ways of effective automatic synthesis of programs.