Adaptive programming.
MG Gouda and T Herman:
Postscript Document and
DVI file.
Abstract
An adaptive program is one that changes its behavior based on
the current state of its environment.
The different behaviors of an adaptive program can be
viewed as belonging to different programs. This
notion of adaptivity
is formalized and a logic for reasoning about
adaptive programs is presented. The logic includes
several composition operators that can be used to define an
adaptive program in terms of given
constituent programs; programs
resulting from these compositions retain the adaptive
properties of their constituent programs.