Share Email Print

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

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