Adaptive programming
Abstract: "An adaptive program is one that changes its behavior based on the current state of its environment. The environment state is assumed to go through successive periods of change and stability, and the adaptive program is only required to perform its intended function during periods of stability. In this paper, 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 all the adaptive properties of their constituent programs."
Print Book, English, 1989
University of Texas at Austin, Dept. of Computer Sciences, Austin, Tex., 1989