Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
type: Item
instance of: scholarly article
title: Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
zbMATH Open document ID: 1232.68027
author: Neil Sculthorpe
author: Henrik Nilsson
published in: Higher-Order and Symbolic Computation
publication date: 2012-01-13T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5997560
zbMATH Keywords: change propagation
zbMATH Keywords: domain-specific languages
zbMATH Keywords: functional reactive programming
zbMATH Keywords: hybrid systems
zbMATH Keywords: synchronous data-flow
describes a project that uses: Yampa
describes a project that uses: Esterel
describes a project that uses: Haskell
describes a project that uses: LUSTRE
describes a project that uses: Fran
MaRDI profile type: Publication
full work available at URL: s10990-011-9068-x
OpenAlex ID: W1566348926
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Synchronous Kahn networks
cites work: Programming Languages and Systems
cites work: Functional reactive animation
cites work: Q4284985
cites work: Q4503930
cites work: Logic in Computer Science
cites work: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
cites work: Causal commutative arrows and their optimization
cites work: Dynamic optimization for functional reactive programming using generalized algebraic data types
cites work: Q4415120
cites work: Q3999860
cites work: A new notation for arrows
cites work: Safe functional reactive programming through dependent types
cites work: Q4532196
DOI: 10.1007/S10990-011-9068-X
description: scientific article; zbMATH DE number 5997560