A functional approach to animation
Computer Graphics Forum
Animated graphical interfaces using temporal constraints
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Exploring Algorithms Using Balsa-II
Computer
Formal Specification of Graphic Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer animation with scripts and actors
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Dial: A Diagrammatic Animation Language
IEEE Computer Graphics and Applications
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
What Do We Learn from Experimental Algorithmics?
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Animation of the Generation and Computation of Finite Automata for Learning Software
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Algorithm Animation Systems for Constrained Domains
Revised Lectures on Software Visualization, International Seminar
Software Visualization and Education - Introduction
Revised Lectures on Software Visualization, International Seminar
Algorithm Animation Using Data Flow Tracing
Revised Lectures on Software Visualization, International Seminar
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership
Revised Lectures on Software Visualization, International Seminar
Algorithm Animation - Introduction
Revised Lectures on Software Visualization, International Seminar
A generic system for interactive real-time animation
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
SAVI: a new system for advanced SQL visualization
Proceedings of the 2011 conference on Information technology education
| Hi-index | 0.00 |
Animation is becoming an increasingly popular feature of user interfaces and software development environments. Unfortunately, few tools for adding animation to interfaces and environments currently exist, and those that are available tend to be ad hoc approaches, lacking any formal semantic basis. In many of these cases, animation is achieved by the simple shuffling of bitmap images. In this paper we describe a practical animation paradigm for creating real-time, two-dimensional, aesthetically-pleasing, color animations. Our method is called the path-transition paradigm, and it is based on four abstract data types: location, image, path, and transition. Producing animation sequences in this paradigm involves the creation and modification of instances of the data types. We develop precise semantics and specifications for the data types, resulting in a rigorous framework for describing the actions that occur in an animation. We present results from our experiments with the paradigm applied to an algorithm animation system that displays sophisticated views of program executions.