A functional reactive animation of a lift using Fran

Authors:
Simon Thompson
Affiliations:
Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (e-mail: S.J.Thompson@ukc.ac.uk)
Venue:
Journal of Functional Programming
Year:
2000

Citing 10
Cited 4

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Interactive functional programs

Research topics in functional programming
TBAG: a high level framework for interactive, animated 3D graphics applications

SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation

IEEE Transactions on Software Engineering
Modeling Reactive Multimedia: Events and Behaviors

Multimedia Tools and Applications
Functional Implementations of Continuous Modeled Animation

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Duration Calculi: An Overview (Invited Paper)

Proceedings of the International Conference on Formal Methods in Programming and Their Applications
Monads for Functional Programming

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Functional geometry

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming

Modeling Reactive Multimedia: Events and Behaviors

Multimedia Tools and Applications
Functional Geometry

Higher-Order and Symbolic Computation
Modelling Reactive Multimedia: Design and Authoring

Multimedia Tools and Applications
A document-centered environment for haskell

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper uses the Fran system for functional reactive animation to give a simulation of a lift – or elevator – with many floors. The paper first introduces a two-floor version, and then indicates in detail how this is extended to give a simulation with an arbitrary number of floors and featuring more realistic animated graphics. The paper introduces those aspects of Fran relevant to the simulation, making it a self-contained tutorial on parts of Fran and how it is applied in practice. The full code for the system is available on the World Wide Web.