NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
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)
Date Acquired
August 15, 2013
Publication Date
January 1, 1990
Subject Category
Computer Programming And Software
Accession Number
91A21131
Funding Number(s)
CONTRACT_GRANT: F49620-89-C-0055
CONTRACT_GRANT: NCC2-494
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available