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

Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (time-varying values). FRP is based on the synchronous data-flow paradigm and supports both (an approximation to) continuous-time and discrete-time...

Full description

Saved in:

Bibliographic Details
Published in:	Higher-Order and Symbolic Computation Vol. 23; no. 2; pp. 227 - 271
Main Authors:	Sculthorpe, Neil, Nilsson, Henrik
Format:	Journal Article
Language:	English
Published:	Boston Springer US 01.06.2010 Springer
Subjects:	Applied sciences Combinatorics. Ordered structures Computational Intelligence Computational Mathematics and Numerical Analysis Computer Science Computer science; control theory; systems Exact sciences and technology Mathematical analysis Mathematical Logic and Formal Languages Mathematics Miscellaneous Numerical analysis Numerical analysis. Scientific computation Numerical methods in mathematical programming, optimization and calculus of variations Numerical methods in optimization and calculus of variations Order, lattices, ordered algebraic structures Real functions Sciences and techniques of general use Symbolic and Algebraic Manipulation Theoretical computing Hybrid systems Change propagation Synchronous data-flow Functional reactive programming Domain-specific languages Approximation Optimization method Continuous time Continuous function Discrete system Symbolic computation Implementation Temporal logic Numerical analysis Reasoning Denotational semantics Discrete time Variational calculus Functional programming Mathematical programming
ISSN:	1388-3690, 1573-0557
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!