Results 1 
5 of
5
TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING
, 2011
"... Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on timevarying values (signals). FRP is based on the synchronous dataflow paradigm and supports both continuoustime and discretetime signals (hybrid systems ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on timevarying values (signals). FRP is based on the synchronous dataflow paradigm and supports both continuoustime and discretetime signals (hybrid systems). What sets FRP apart from most other reactive languages is its support for systems with highly dynamic structure (dynamism) and higherorder reactive constructs (higherorder dataflow). However, the price paid for these features has been the loss of the safety and performance guarantees provided by other, less expressive, reactive languages. Statically guaranteeing safety properties of programs is an attractive proposition. This is true in particular for typical application domains for reactive programming such as embedded systems. To that end, many existing reactive languages have type systems or other static checksthatguaranteedomainspecificconstraints, suchasfeedbackbeingwellformed(causality analysis). However, comparedwithFRP,theyarelimitedintheircapacitytosupportdynamism andhigherorderdataflow. Ontheotherhand, asestablishedstatictechniquesdonotsufficefor highly structurally dynamic systems, FRP generally enforces few domainspecific constraints, leaving the FRP programmer to manually check that the constraints are respected. Thus, there
Programming · Hybrid Systems · Synchronous Dataflow
"... Abstract Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (timevarying values). FRP is based on the synchronous dataflow paradigm and supports both (an approximation to) continuoustime and discr ..."
Abstract
 Add to MetaCart
Abstract Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (timevarying values). FRP is based on the synchronous dataflow paradigm and supports both (an approximation to) continuoustime and discretetime signals (hybrid systems). What sets FRP apart from most other languages for similar applications is its support for systems with dynamic structure and for higherorder reactive constructs. This paper contributes towards advancing the state of the art of FRP implementation by studying the notion of signal change and change propagation in a setting of structurally dynamic networks of nary signal functions operating on mixed continuoustime and discretetime signals. We first define an ideal denotational semantics (time is truly continuous) for this kind of FRP, along with temporal properties, expressed in temporal logic, of signals and signal functions pertaining to change and change propagation. Using this framework, we then show how to reason about change; specifically, we identify and justify a number of possible optimisations, such as avoiding recomputation of unchanging values. Note that due to structural dynamism, and the fact that the output of a signal function may change because time is passing even if the input is unchanging, the problem is significantly more complex than standard change propagation in networks with static structure.
HigherOrder and Symbolic Computation manuscript No. (will be inserted by the editor) Keeping Calm in the Face of Change Towards Optimisation of FRP by Reasoning about Change
"... Abstract Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchronous dataflow paradigm and supports both (an approximation to) continuoustime and discretetime signals (hybri ..."
Abstract
 Add to MetaCart
Abstract Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchronous dataflow paradigm and supports both (an approximation to) continuoustime and discretetime signals (hybrid systems). What sets FRP apart from most other languages for similar applications is its support for systems with dynamic structure and for higherorder reactive constructs (e.g. signals carrying signals or functions on signals). This paper contributes towards advancing the state of the art of FRP implementation by studying the notion of signal change and change propagation in a setting of structurally dynamic networks of nary signal functions operating on mixed continuoustime and discretetime signals. We first define an ideal denotational semantics (time is truly continuous) for this kind of FRP, along with temporal properties, expressed in temporal logic, of signals and signal functions pertaining to change and change propagation. Using this framework, we then show how to reason about change; specifically, we identify and justify a number of possible optimisations, such as avoiding recomputation of unchanging values. Note that due to structural dynamism, and the fact that the output of a signal function may change because time is passing even if the input is unchanging, the problem is significantly more complex than standard change propagation in networks with static structure.
Abstract Keywords Virtual Environments Dynamic Interactive VEs 3D User Interaction VR systems
"... Virtual Environments have become a key component of many fields and the critical component of Virtual Reality applications. Due to their virtual nature they can accommodate an infinite number of possibilities. A theoretical work is presented, which decomposes those innumerous possibilities into conc ..."
Abstract
 Add to MetaCart
Virtual Environments have become a key component of many fields and the critical component of Virtual Reality applications. Due to their virtual nature they can accommodate an infinite number of possibilities. A theoretical work is presented, which decomposes those innumerous possibilities into concepts to help clarify the vast design space and provide insights for future applied research. We propose that what makes environments interesting and engaging is having worlds that are both active and reactive. This article explores the manifestations of those actions and reactions in what we term: dynamic components and interactions. We term worlds containing these Dynamic Interactive Virtual Environments (DIVE). An analysis of each component time was performed, with the purpose of providing a theoretical understanding of the respective design spaces. Initially we collected the myriad possibilities of each component, e.g. the possible kinds of interactions. We point to examples throughout the field to ground and explain concepts presented. We then categorized of each area into taxonomies. The result of the analyses provide insights into the design space of Virtual Environments, expose several avenues of research that are yet underexplored, and provide better understandings of ways in which DIVE creation can be supported. K.J. Blom S. Beckhaus interactive media.virtual environments
Keywords Change Propagation · DomainSpecific Languages · Functional Reactive Programming · Hybrid Systems · Synchronous Dataflow
"... Abstract Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (timevarying values). FRP is based on the synchronous dataflow paradigm and supports both (an approximation to) continuoustime and discr ..."
Abstract
 Add to MetaCart
Abstract Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals (timevarying values). FRP is based on the synchronous dataflow paradigm and supports both (an approximation to) continuoustime and discretetime signals (hybrid systems). What sets FRP apart from most other languages for similar applications is its support for systems with dynamic structure and for higherorder reactive constructs. This paper contributes towards advancing the state of the art of FRP implementation by studying the notion of signal change and change propagation in a setting of structurally dynamic networks of nary signal functions operating on mixed continuoustime and discretetime signals. We first define an ideal denotational semantics (time is truly continuous) for this kind of FRP, along with temporal properties, expressed in temporal logic, of signals and signal functions pertaining to change and change propagation. Using this framework, we then show how to reason about change; specifically, we identify and justify a number of possible optimisations, such as avoiding recomputation of unchanging values. Note that due to structural dynamism, and the fact that the output of a signal function may change because time is passing even if the input is unchanging, the problem is significantly more complex than standard change propagation in networks with static structure.