Functional Reactive Animation

Functional Reactive Animation (1997)

Cached

Download Links

[www.cs.yale.edu]
[www.research.microsoft.com]

Other Repositories/Bibliography

DBLP

by Conal Elliott , Paul Hudak

Citations:

173 - 27 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Functional Reactive Animation	user correction - Legacy Corrections
AUTHOR NAME	Conal Elliott	SVM HeaderParse 0.1
AUTHOR AFFIL	Microsoft Research	SVM HeaderParse 0.2
AUTHOR NAME	Paul Hudak	SVM HeaderParse 0.1
AUTHOR AFFIL	Yale University; Dept. of Computer Science	SVM HeaderParse 0.2
ABSTRACT	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 e#ectively 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 di#erential equations.	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	23 found	ParsCit 1.0