Share Email Print
cover

Proceedings Paper

Synthesizing Information-Update Functions Using Off-Line Symbolic Processing
Author(s): Stanley J. Rosenschein
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

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.

Paper Details

Date Published: 1 March 1990
PDF: 9 pages
Proc. SPIE 1198, Sensor Fusion II: Human and Machine Strategies, (1 March 1990); doi: 10.1117/12.970007
Show Author Affiliations
Stanley J. Rosenschein, Teleos Research (United States)


Published in SPIE Proceedings Vol. 1198:
Sensor Fusion II: Human and Machine Strategies
Paul S. Schenker, Editor(s)

© SPIE. Terms of Use
Back to Top