Real-Time Deadlines in Functional-Reactive Programming
Functional Reactive Programming (FRP) enables a developer to describe, declaratively, a program’s response to external events. FRP has many implementations that share many common features, but lack a common declarative mechanism for describing time constraints, such as deadlines or rate throttling. We present a set of Metric Temporal Logic (MTL) primitives for expressing real-time relationships between events in a reactive system. Providing these primitives in the core of an FRP framework allows a developer to define new time-based constraints without resorting to timers external to the FRP code. We describe the implementation of the basic MTL operators in a modified version of the Sodium FRP framework and demonstrate its use for an implementation of the debounce primitive provided by the Java implementation of ReactiveX (RxJava).
Declarative Deadlines in Functional Reactive Programming (FRMTL_Presentation.pdf) | 605KiB |
Tue 27 OctDisplayed 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 |