An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)
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 - 13:40|
Adriaan LeijnseUniversidade NOVA de LisboaFile Attached
|13:40 - 14:20|