Dynamic Controllability of Temporally-flexible Reactive Programs

In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs whose behavior depends on runtime observations; conditional execution, iteration, and exception handling. Temporally-flex...

Full description

Bibliographic Details
Main Authors: Effinger, Robert Temple, Williams, Brian Charles, Kelly, Gerard, Sheehy, Michael
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: AAAI Publicaitons 2011
Online Access:http://hdl.handle.net/1721.1/67835
https://orcid.org/0000-0002-1057-3940