1 March 1990 Synthesizing Information-Update Functions Using Off-Line Symbolic Processing
Author Affiliations +
Proceedings Volume 1198, Sensor Fusion II: Human and Machine Strategies; (1990) https://doi.org/10.1117/12.970007
Event: 1989 Symposium on Visual Communications, Image Processing, and Intelligent Robotics Systems, 1989, Philadelphia, PA, United States
This paper explores the synthesis of programs that track dynamic conditions in their environment. We propose an approach 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.
© (1990) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Stanley J. Rosenschein, "Synthesizing Information-Update Functions Using Off-Line Symbolic Processing", Proc. SPIE 1198, Sensor Fusion II: Human and Machine Strategies, (1 March 1990); doi: 10.1117/12.970007; https://doi.org/10.1117/12.970007

Back to Top