Synthesizing information-update functions using off-line symbolic processingThis paper explores the synthesis of programs that track dynamic conditions in their environment. An approach is proposed in which the designer specifies, in a declarative language, aspects of the environment in which the program will be embedded. This specification is then automatically compiled into a program that, when executed, updates internal data structures so as to maintain as an invariant a desired correspondence between internal data structures and states of the external environment. This approach retains much of the flexibility of declarative programming while guaranteeing a hard bound on the execution time of information-update functions.
Document ID
19910036508
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Rosenschein, Stanley J. (Teleos Research Palo Alto, CA, United States)