Event-Driven FRP

DMCA

Event-Driven FRP (2002)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Zhanyong Wan , Walid Taha , Paul Hudak

Venue:	In PADL: Practical Aspects of Declarative Languages, LNCS 2257
Citations:	29 - 6 self

BibTeX

@INPROCEEDINGS{Wan02event-drivenfrp,
    author = {Zhanyong Wan and Walid Taha and Paul Hudak},
    title = {Event-Driven FRP},
    booktitle = {In PADL: Practical Aspects of Declarative Languages, LNCS 2257},
    year = {2002},
    pages = {155--172},
    publisher = {Springer}
}

OpenURL

Abstract

Functional Reactive Programming (FRP) is a high-level declarative language for programming reactive systems. Previous work on FRP has demonstrated its utility in a wide range of application domains, including animation, graphical user interfaces, and robotics. FRP has an elegant continuous-time denotational semantics. However, it guarantees no bounds on execution time or space, thus making it unsuitable for many embedded real-time applications. To alleviate this problem, we recently developed Real-Time FRP (RT-FRP), whose operational semantics permits us to formally guarantee bounds on both execution time and space. In this paper we present a formally verifiable compilation strategy from a new language based on RT-FRP into imperative code. The new language, called Event-Driven FRP (E-FRP), is more tuned to the paradigm of having multiple external events. While it is smaller than RT-FRP, it features a key construct that allows us to compile the language into efficient code. We have used this language and its compiler to generate code for a small robot controller that runs on a PIC16C66 micro-controller. Because the formal specification of compilation was crafted more for clarity and for technical convenience, we describe an implementation that produces more efficient code.

Keyphrases

event-driven frp new language efficient code execution time real-time frp small robot controller multiple external event technical convenience wide range functional reactive programming formal specification previous work graphical user interface imperative code verifiable compilation strategy application domain high-level declarative language real-time application elegant continuous-time denotational semantics key construct operational semantics reactive system pic16c66 micro-controller