SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 13:30 - 14:00 at Seminar Room G125 - Session 2 Chair(s): Takuo Watanabe

Functional reactive programming (FRP) languages allow programmers to write declarative expressions to denote event-streams. They feature operators (e.g., map, filter, merge, …) to build compositions of events. Among these operators we would expect to find the traditional Boolean operators to express complex events. To some extent this is true. However, a remarkable absent in existing FRP languages is the logical conjunction, i.e., the and operator. In this paper, we describe the difficulty of introducing logical conjunction in FRP. We then present a new experimental language called FLOREnce that reconciles functional reactive programming with ‘logic reactive programming’ abstractions. The latter emerge naturally when adding a reactive conjunction operator to an event-based FRP language. We present a prototypical implementation of FLOREnce and we study its expressiveness by conducting an experiment.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Session 2REBLS at Seminar Room G125
Chair(s): Takuo Watanabe Tokyo Institute of Technology
13:30
30m
Talk
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
REBLS
Louise Van Verre Vrije Universiteit Brussel, Humberto Rodriguez Avila Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
14:00
30m
Talk
Distributed Persistent Signals: Architecture and Implementation
REBLS
Tetsuo Kamina Oita University, Sota Ueno Oita University
DOI
14:30
30m
Talk
Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
REBLS
Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print