Document Type

Technical Report

Publication Date

1988-09-01

Filename

WUCS-88-27.pdf

Technical Report Number

WUCS-88-27

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7V12344

Download

Share

COinS