292 search results - page 28 / 59 » Reactive Context-Aware Programming |
113
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
105
click to vote
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
133
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
155
click to vote
TLDI
2010
ACM
15 years 2 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...