Communicating sequential processes
Communicating sequential processes
Toward the domestication of microelectronics
Communications of the ACM - Special issue: computing in the frontiers of science and engineering
Data Structure Techniques
Arctic: A functional language for real-time control
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A system for algorithm animation
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Thinglab--a constraint-oriented simulation laboratory.
Thinglab--a constraint-oriented simulation laboratory.
Algebraic constraints
Simula Begin
An object-oriented approach to graphical interfaces
ACM Transactions on Graphics (TOG)
Dialogue management for gestural interfaces
ACM SIGGRAPH Computer Graphics
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Exploring Algorithms Using Balsa-II
Computer
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
A user interface toolkit based on graphical objects and constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Interactive specification of flexible user interface displays
ACM Transactions on Information Systems (TOIS)
Experience with the DYNAMOD program animator
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Using direct manipulation to build algorithm animations by demonstration
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Program visualization: the art of mapping programs to pictures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Algorithm animation using 3D interactive graphics
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Specifying temporal behavior in hypermedia documents
ECHT '92 Proceedings of the ACM conference on Hypertext
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
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
Toward visual debugging: integrating algorithm animation capabilities within a source-level debugger
ACM Transactions on Computer-Human Interaction (TOCHI)
Applying algorithm animation techniques for program tracing, debugging, and understanding
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Creating dynamic interaction techniques by demonstration
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Classes versus prototypes in object-oriented languages
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Proceedings of the 38th annual Design Automation Conference
Fast and efficient client-side adaptivity for SVG
Proceedings of the 11th international conference on World Wide Web
The kinetic typography engine: an extensible system for animating expressive text
Proceedings of the 15th annual ACM symposium on User interface software and technology
Obliq-3D: A High-Level, Fast-Turnaround 3D Animation System
IEEE Transactions on Visualization and Computer Graphics
Algorithm Animation Using Data Flow Tracing
Revised Lectures on Software Visualization, International Seminar
A library for visualizing combinatorial structures
VIS '94 Proceedings of the conference on Visualization '94
Graphically defining new building blocks in ThingLab
Human-Computer Interaction
Animation using temporal constraints: an overview of the animus system
Human-Computer Interaction
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
The path-transition paradigm: a practical methodology for adding animation to program interfaces
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Algorithm animation has an acknowledged and growing role in computer aided algorithm design, as well as in documentation and technology transfer, since the medium of interactive graphics is a broader, richer channel than text by which to communicate information. Since an animation constitutes the interface between a user and an algorithm, a kit that facilitates the construction of such has all the basic elements of a User Interface Management System. Constraint languages are useful in constructing such an interface construction kit, whereby consistency is maintained among the elements of a structure and among those of a view of that structure presented to the user. But constraints specify only static state in current implementations. To specify the evolution of structures and views by discrete time increments, as in animation, requires a extension to current constraint languages to allow expression of specifications of temporal behavior.