Communicating sequential processes
Communicating sequential processes
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Computer
Parallel program design: a foundation
Parallel program design: a foundation
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
A New Approach to Proving the Correctness of Multiprocess Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PROVIDE: A Process Visualization and Debugging Environment
IEEE Transactions on Software Engineering
A system for algorithm animation
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Program visualization: the art of mapping programs to pictures
ICSE '92 Proceedings of the 14th international conference on Software engineering
A general framework for bidirectional translation between abstract and pictorial data
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
An Example of Deriving Performance Properties from a Visual Representation of Program Execution
IEEE Transactions on Parallel and Distributed Systems
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications
IEEE Transactions on Software Engineering
Traversal-Based Visualization of Data Structures
INFOVIS '98 Proceedings of the 1998 IEEE Symposium on Information Visualization
Algorithm Animation for Teaching
Revised Lectures on Software Visualization, International Seminar
Specifying Algorithm Visualizations: Interesting Events or State Mapping?
Revised Lectures on Software Visualization, International Seminar
Algorithm Animation - Introduction
Revised Lectures on Software Visualization, International Seminar
Visualization in algorithm engineering: tools and techniques
Experimental algorithmics
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
| Hi-index | 4.10 |
The authors explore the graphical representation of objects and processes as a means for understanding programs consisting of large numbers of concurrent processes. Their goal is to establish a technical foundation for research into the monitoring and debugging of large-scale concurrent programs. They explain declarative visualization and introduce some shared-data-space concepts and notation by means of a simple, nondeterministic, parallel algorithm. They discuss visual abstraction and their visualization methodology, which they illustrate by applying it to region labeling. Thy examine the relaxation of nonintervention that visualization makes possible.