Functional reactive animation. Fran (Functional Reactive Animation) is a collection of data types and functions for composing richly interactive, multimedia animations. The key ideas in Fran are its notions of behaviors and events. Behaviors are time-varying, reactive values, while events are sets of arbitrarily complex conditions, carrying possibly rich information. Most traditional values can be treated as behaviors, and when images are thus treated, they become animations. Although these notions are captured as data types rather than a programming language, we provide them with a denotational semantics, including a proper treatment of real time, to guide reasoning and implementation. A method to effectively and efficiently perform event detection using interval analysis is also described, which relies on the partial information structure on the domain of event times. Fran has been implemented in Hugs, yielding surprisingly good performance for an interpreter-based system. Several examples are given, including the ability to describe physical phenomena involving gravity, springs, velocity, acceleration, etc. using ordinary differential equations.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pan, Linqiang; Song, Bosheng: Time-freeness and clock-freeness and related concepts in P systems (2020)
- Perez, Ivan; Goodloe, Alwyn E.: Fault-tolerant functional reactive programming (extended version) (2020)
- Gibbons, Jeremy: Aplicative programming with Naperian functors (2017)
- Jeltsch, Wolfgang: Abstract categorical semantics for resourceful functional reactive programming (2016)
- Belwal, Chaitanya; Cheng, Albert M. K.; Liu, Bo: Feasibility interval for the transactional event handlers of P-FRP (2013)
- Wickham, Hadley: Mutable objects in R (2011)
- Bachrach, Jonathan; Beal, Jacob; McLurkin, James: Composable continuous-space programs for robotic swarms (2010) ioport
- Sculthorpe, Neil; Nilsson, Henrik: Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (2010)
- Marceau, Guillaume; Cooper, Gregory H.; Spiro, Jonathan P.; Krishnamurthi, Shriram; Reiss, Steven P.: The design and implementation of a dataflow language for scriptable debugging (2007) ioport
- Thompson, Simon; King, Peter; Cameron, Helen: Modelling moving objects in multimedia databases,” (2005) ioport
- Elliott, Conal; Hudak, Paul: Functional reactive animation (1997)