Declarative Visualization in the Shared Dataspace Paradigm

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.

BibTeX

@inproceedings{Roman-Cox:ICSE89,
  author    = {Gruia{-}Catalin Roman and
               Kenneth C. Cox},
  title     = {Declarative Visualization in the Shared Dataspace Paradigm},
  booktitle = {ICSE},
  pages     = {34--43},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
}

Declarative Visualization in the Shared Dataspace Paradigm

Abstract

Related papers