A declarative approach to visualizing concurrent computations

1 October 1989

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 22 (10) , 25-36
https://doi.org/10.1109/2.42012

Abstract

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.

Keywords

This publication has 8 references indexed in Scilit:

A shared dataspace model of concurrency-language and programming implications
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Declarative visualization in the shared dataspace paradigm
Published by Association for Computing Machinery (ACM) ,1989
PROVIDE: a process visualization and debugging environment
IEEE Transactions on Software Engineering, 1988
Linda and Friends
Computer, 1986
Dynamic Process Visualization
IEEE Computer Graphics and Applications, 1986
A system for algorithm animation
ACM SIGGRAPH Computer Graphics, 1984
How to cook a temporal proof system for your pet language
Published by Association for Computing Machinery (ACM) ,1983
A New Approach to Proving the Correctness of Multiprocess Programs
ACM Transactions on Programming Languages and Systems, 1979