Technical Report Number
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.
Roman, Gruia-Catalin and Cox, Kenneth C., "Declarative Visualization in the Shared Dataspace Paradigm" Report Number: WUCS-88-27 (1988). All Computer Science and Engineering Research.