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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Higher-Order and Symbolic Computation Ročník 23; číslo 2; s. 227 - 271
Hlavní autoři:	Sculthorpe, Neil, Nilsson, Henrik
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Boston Springer US 01.06.2010 Springer
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!