Modularity 2016 (series) / CROW 2016 (series) / - Constrained and Reactive Objects Workshop /
Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems
Tue 15 Mar 2016 11:00 - 11:30 at CROW - CROW Workshop Session 1 Cont.
In this paper, we introduce a new functional reactive programming (FRP) language Emfrp designed to support small-scale embedded systems. An Emfrp program defines a system as a directed acyclic graph whose nodes correspond to the time-varying values in the system. The language equips a simple mechanism that enables each node to refer the past values of arbitrary nodes. Using this mechanism, Emfrp provides simplicity and flexibility for describing complex time-dependent reactive behaviors without space and time leaks. Our Emfrp compiler produces platform-independent ANSI-C code that can run on bare-metal microprocessor boards. We demonstrate the advantage of the language by presenting some non-trivial examples.
Tue 15 MarDisplayed time zone: Belfast change
Tue 15 Mar
Displayed time zone: Belfast change
10:30 - 12:30 | |||
10:30 30mTalk | Toward a New Constraint Imperative Programming Language for Interactive Graphics CROW | ||
11:00 30mTalk | Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems CROW Link to publication DOI | ||
11:30 30mTalk | Wallingford: Toward a Constraint Reactive Programming Language CROW Alan Borning CDG Labs | ||
12:00 30mTalk | A Library-Based Approach to Context-Dependent Computation with Reactive Values CROW |