| Abstract
|
<p>Functional Reactive Programming ( … <p>Functional Reactive Programming (FRP) is a high-level declar-ative language for programming reactive systems. Previous work on FRPhas demonstrated its utility in a wide range of application domains, in-cluding animation, graphical user interfaces, and robotics. FRP has anelegant continuous-time denotational semantics. However, it guaranteesno bounds on execution time or space, thus making it unsuitable for manyembedded real-time applications. To alleviate this problem, we recentlydeveloped Real-Time FRP (RT-FRP), whose operational semantics per-mits us to formally guarantee bounds on both execution time and space.In this paper we present a formally veriable compilation strategy froma new language based on RT-FRP into imperative code. The new lan-guage, called Event-Driven FRP (E-FRP), is more tuned to the paradigmof having multiple external events. While it is smaller than RT-FRP, itfeatures a key construct that allows us to compile the language into e-cient code. We have used this language and its compiler to generate codefor a small robot controller that runs on a PIC16C66 micro-controller.Because the formal specication of compilation was crafted more for clar-ity and for technical convenience, we describe an implementation thatproduces more ecient code.</p>n thatproduces more ecient code.</p>
|
| Author
|
Zhanyong Wan +
, Walid Taha +
, Paul Hudak +
|
| Conference
|
PADL'02. International Symposium on Practical Aspects of Declarative Languages
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588284
|
| PublicationType
|
Conference Paper +
|
| Title
|
Event-Driven FRP +
|
| Year
|
2002 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
, Publications:Event-Driven FRP +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:16 +
|
