Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change

DOI10.1007/S10990-011-9068-XMaRDI QIDQ656853zbMATHOpenAlexFDO

Authors Neil Sculthorpe, Henrik Nilsson

Publication date 13 January 2012

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-011-9068-x

zbMATH Keywords

hybrid systemsfunctional reactive programmingdomain-specific languageschange propagationsynchronous data-flow

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
• Safe functional reactive programming through dependent types
• Real-time FRP
• Practical principled FRP: forget the past, change the future, FRPNow!
• Abstract categorical semantics for resourceful functional reactive programming

Cites work

• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 1954122 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1749195 (Why is no real title available?)
• A new notation for arrows
• Causal commutative arrows and their optimization
• Dynamic optimization for functional reactive programming using generalized algebraic data types
• Functional reactive animation
• Logic in Computer Science
• Programming Languages and Systems
• Safe functional reactive programming through dependent types
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• Synchronous Kahn networks
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(4)

• Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
• Implicit self-adjusting computation for purely functional programs
• Functional automatic differentiation with Dirac impulses
• Programming Languages and Systems

Describes a project that uses

Uses Software

• Haskell
• LUSTRE
• Yampa
• Esterel
• Fran

This page was built for publication: Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q656853)