Declarative Visualization In The Shared Dataspace Paradigm
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
This paper is concerned with the use of program visualization as a means for the understanding, debugging, and monitoring of large-scale concurrent programs. Following an overview of the shared dataspace paradigm and the declarative approach to visualization, the paper discusses: (1) mechanisms for specifying declarative visualization in the shared dataspace paradigm and ways of relating the specifications to program verification; (2) a computational model which provides a unified framework for comparing both visual and nonvisual algorithms; and (3) strategies for implementing declarative visualization on parallel machines.Keywords
This publication has 15 references indexed in Scilit:
- A shared dataspace language supporting large-scale concurrencyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- PROVIDE: a process visualization and debugging environmentIEEE Transactions on Software Engineering, 1988
- The art and science of visualizing dataCommunications of the ACM, 1988
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Linda and FriendsComputer, 1986
- A system for algorithm animationACM SIGGRAPH Computer Graphics, 1984
- Associons: A Program Notation with Tuples Instead of VariablesACM Transactions on Programming Languages and Systems, 1981
- Communicating sequential processesCommunications of the ACM, 1978
- Parallelism in random access machinesPublished by Association for Computing Machinery (ACM) ,1978
- On parallelism in turing machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976