SPLASH 2015 (series) / REBLS 2015 (series) / Reactive and Event-based Languages & Systems /
Reactive Traversal of Recursive Data Types
Tue 27 Oct 2015 16:15 - 16:37 at Haselton 1 - Session 4
We propose a structured mechanism to traverse recursive data types incrementally, in successive reactions to external input events. “traverse” is an iterator-like anonymous block that can be invoked recursively and suspended at any point, retaining the full state and stack frames alive. “traverse” is designed for the synchronous language Céu, inheriting all of its concurrency functionality and safety properties, such as parallel compositions with orthogonal abortion, static memory management, and bounded reaction time and memory usage. We discuss three applications in the domain of control-oriented DSLs that contain reactive and recursive behavior at the same time.
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 |