A declarative approach to visualizing concurrent computations

Journal Article · Sun Oct 01 00:00:00 EDT 1989 · Computer; (USA)

DOI:https://doi.org/10.1109/2.42012· OSTI ID:5437192

Roman, G C; Cox, K C ^[1]

---

1. Washington Univ., St. Louis, MO (USA)

That visualization can play a key role in the exploration of concurrent computations is central to the ideas presented. Equally important, although given less emphasis, is concern that the full potential of visualization may not be reached unless the art of generating beautiful pictures is rooted in a solid, formally technical foundation. The authors show that program verification provides a formal framework around which such a foundation can be built. Making these ideas a practical reality will require both research and experimentation.

• OSTI ID: 5437192
• Journal Information: Computer; (USA), Vol. 22:10; ISSN 0018-9162
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
PARALLEL PROCESSING
VERIFICATION
ARRAY PROCESSORS
COMPUTER CODES
COMPUTER GRAPHICS
IMAGES
PROGRAMMING
990200* - Mathematics & Computers