Adaptive Programming

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. 1 Introduction An adaptive program is one that changes its behavior according to its environment. Often, the motivation for changing the program behavior is to satisfy some performance criteria: the performance of one behavior is superior to that of other behaviors in some environment. In this case, adaptivity is a technique for performance optimization in a dynamic environment. Another reason for changing the program behavior has to do with logical cor..