https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AEvent-Driven_FRPPublications:Event-Driven FRP - Revision history2026-05-15T04:52:35ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Event-Driven_FRP&diff=4313&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Zhanyong Wan, Walid Taha, Paul Hudak |PID=588284 |Name=Wan, Zhanyong (Depar..."2014-06-26T03:45:16Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Zhanyong Wan, Walid Taha, Paul Hudak |PID=588284 |Name=Wan, Zhanyong (Depar..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Zhanyong Wan, Walid Taha, Paul Hudak<br />
|PID=588284<br />
|Name=Wan, Zhanyong (Department of Computer Science, Yale University, New Haven, CT, USA);Taha, Walid [waltah] (Department of Computer Science, Yale University, New Haven, CT, USA);Hudak, Paul (Department of Computer Science, Yale University, New Haven, CT, USA)<br />
|Title=Event-Driven FRP<br />
|PublicationType=Conference Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=<br />
|Conference=PADL'02. International Symposium on Practical Aspects of Declarative Languages<br />
|StartPage=<br />
|EndPage=<br />
|Year=2002<br />
|Edition=<br />
|Pages=<br />
|City=<br />
|Publisher=<br />
|Series=<br />
|SeriesISSN=<br />
|ISBN=<br />
|Urls=<br />
|ISRN=<br />
|DOI=<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-20983<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=<br />
|Categories=Datorsystem (20206)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<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><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-01-14<br />
|PublicationDate=2013-01-15<br />
|LastUpdated=2013-09-18<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588284}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek