Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 13:00 - 13:40 at SPLASH-IV - Session 3 Chair(s): Manuel Bärenz

This work-in-progress paper presents Denotative Continuous Spacetime Programming (DCSP): a purely functional distributed programming language. DCSP extends the time-based semantics of Functional Reactive Programming, which previously enabled functional programming of dynamic and interactive programs, to a spacetime-based semantics. As opposed to previous distributed languages such as Erlang, programs written in DCSP can be composed out of smaller components without the use of processes. This aspect has the potential to make programs both easier to understand and less susceptible to concurrency bugs.

Besides giving a precise semantics for DCSP, the paper provides a sketch of an implementation strategy which re-uses any sufficiently powerful FRP implementation to implement DSCP, and provides an implementation of an example program to help build intuitions for thinking about distributed programs in purely functional terms.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: Session 3REBLS at SPLASH-IV
Chair(s): Manuel Bärenzsonnen eServices GmbH
13:00 - 13:40
An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)
Adriaan LeijnseUniversidade NOVA de Lisboa
File Attached
13:40 - 14:20
Reactive Sorting Networks
Bjarno OeyenVrije Universiteit Brussel, Sam Van den VonderVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel