REBLS 2022
| title | author | length |
|---|---|---|
| Dataflow Engines for Executing Cloud Applications: a Maslow's Hammer? | Asterios Katsifodimos, Marios Fragkoulis, Kyriakos Psarakis, Pedro Silvestre, Wouter Zorgdrager, Guido Salvaneschi, Jim Verhijde, Adil Akhter | 01h 00m |
A compiler turns imperative Python into a dataflow graph and runs it on a streaming engine, removing all failure-handling code from application logic and… | ||
| Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems | Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe | 29m |
Emfrp currently enforces termination per update and static memory bounds, which makes long-running work like parsing or graph search block input and ruin… | ||
| Semantics of RxJS | Tian Zhao, Yonglun Li | 29m |
Defines a small-step operational semantics for a selected subset of RxJS, modeling runtime as a Heap mapping observables and subscription objects plus an event… | ||
| About Combining Functional Reactive Programming and Replicated Data Types | Julian Haas, Ragnar Mogk | 29m |
Claim: combining FRP with CRDT-style replicated data types yields a practical, composable programming model that keeps sequential code and gives eventual… | ||
| FLOREnce: A Hybrid Logic-Functional Reactive Programming Language | Louise Van Verre, Humberto Avilla, Jens Nicolay, Wolfgang De Meuter | 21m |
Claims a new language called FLOREnce that fuses event-based FRP reactors with rule-based logic by compiling reactors to a dataflow graph, rules to a Rete… | ||
| Distributed Persistent Signals: Architecture and Implementation | Tetsuo Kamina, Sota Ueno | 28m |
SignalJ is extended so persistent signals store update histories in a time‑series database and propagate updates via the database itself: each signal instance… | ||
| Reactive Programming on the Bare Metal:A Formal Model for a Low-Level Reactive Virtual Machin | Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter | 28m |
Claims a small-step operational semantics and a virtual machine called Remus VM that compiles each reactor to an instruction sequence so dependency order is… | ||
| nothing matches | ||