NDLI: Real-time FRP

Please wait, while we are loading the content...

Volume 36, Issue 12, December 2001

Volume 36, Issue 11, 11/01/2001

Volume 36, Issue 10, October 2001

A fresh approach to representing syntax with static binders in functional programming

Contification using dominators

Recursive structures for standard ML

Generic unification via two-level types and parameterized modules

Developing a stage lighting system from scratch

A dependently typed assembly language

Functional array fusion

A new notation for arrows

Functioning without closure

Type-based hot swapping of running modules (extended abstract)

Generic validation of structural content with parametric modules

Charting patterns on price history

On regions and linear types (extended abstract)

Automatic generation of staged geometric predicates

Extensible algebraic datatypes with defaults

Optimizing pattern matching

Macros as multi-stage computations

A simple implementation technique for priority search queues

Compositional explanation of types and algorithmic debugging of type errors

Cost recurrences for DML programs

Down with Emacs Lisp

Events in Haskell, and how to implement them

Possibilities and limitations of call-by-need space improvement

Volume 36, Issue 9, September 2001

Volume 36, Issue 8, Aug. 2001

Volume 36, Issue 7, July 2001

Volume 36, Issue 6, June 2001

Volume 36, Issue 5, May 2001

Volume 36, Issue 4, April 1, 2001

Volume 36, Issue 3, March 2001

Volume 36, Issue 2, February 2001

Volume 36, Issue 1, Jan 2001

Real-time FRP

Content Provider	ACM Digital Library
Author	Taha, Walid Hudak, Paul Wan, Zhanyong
Abstract	Functional reactive programming (FRP) is a declarative programming paradigm where the basic notions are continuous, time-varying behaviors and discrete, event-based reactivity. FRP has been used successfully in many reactive programming domains such as animation, robotics, and graphical user interfaces. The success of FRP in these domains encourages us to consider its use in real-time applications, where it is crucial that the cost of running a program be bounded and known before run-time. But previous work on the semantics and implementation of FRP was not explicitly concerned about the issues of cost. In fact, the resource consumption of FRP programs in the current implementation is often hard to predict. As a first step towards addressing these concerns, this paper presents real-time FRP (RT-FRP), a statically-typed language where the time and space cost of each execution step for a given program is statically bounded. To take advantage of existing work on languages with bounded resources, we split RT-FRP into two parts: a reactive part that captures the essential ingredients of FRP programs, and a base language part that can be instantiated to any generic programming language that has been shown to be terminating and resource-bounded. This allows us to focus on the issues specific to RT-FRP, namely, two forms of recursion. After presenting the operational explanation of what can go wrong due to the presence of recursion, we show how the typed version of the language is terminating and resource-bounded. Most of our FRP programs are expressible directly in RT. The rest are expressible via a simple mechanism that integrates RT-FRP with the base language.
Starting Page	146
Ending Page	156
Page Count	11
File Format	PDF
DOI	10.1145/507546.507654
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	36
Issue Number	10
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in