SPLASH 2015 (series) / REBLS 2015 (series) / Reactive and Event-based Languages & Systems /
Logical Reactive Programming
Tue 27 Oct 2015 15:30 - 15:52 at Haselton 1 - Session 4
The reactive programming paradigm enables programmers to express interactive programs as a transformation from input streams to output streams. Multiple strands of reactive programming have been proposed in the past. We argue that none of the existing classes of reactive programming sufficiently caters to interactive programs in which patterns of discrete events determine how the program should react. We propose a novel class of reactive programming, called logical reactive programming, in which patterns of events can be declaratively specified using logical rules. We analyze the differences between logical reactive programming languages and traditional reactive programming languages, and initiate discussion on its limitations.
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change
15:30 - 17:00 | |||
15:30 22mTalk | Logical Reactive Programming REBLS Thierry Renaux Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel | ||
15:52 22mTalk | Reactive Interfaces: Combining Events and Expressing Signals REBLS Ragnar Mogk Technische Universität Darmstadt | ||
16:15 22mTalk | Reactive Traversal of Recursive Data Types REBLS | ||
16:37 22mTalk | Real-Time Deadlines in Functional-Reactive Programming REBLS Media Attached File Attached |