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

DOI10.1007/s10990-011-9068-xzbMath1232.68027OpenAlexW1566348926MaRDI QIDQ656853

Henrik Nilsson, Neil Sculthorpe

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 systemsdomain-specific languagesfunctional reactive programmingchange propagationsynchronous data-flow

Mathematics Subject Classification ID

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

Related Items (1)

Implicit self-adjusting computation for purely functional programs

Uses Software

• Haskell
• LUSTRE
• Yampa
• Esterel
• Fran

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Esterel synchronous programming language: Design, semantics, implementation
• Synchronous Kahn networks
• Dynamic optimization for functional reactive programming using generalized algebraic data types
• Safe functional reactive programming through dependent types
• Causal commutative arrows and their optimization
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• Logic in Computer Science
• A new notation for arrows
• Functional reactive animation
• Programming Languages and Systems

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