A Technique for Generating Graphical Abstractions of Program Data Structures

Authors:
Camil Demetrescu;Irene Finocchi
Affiliations:
-;-
Venue:
VISUAL '99 Proceedings of the Third International Conference on Visual Information and Information Systems
Year:
1999

Citing 4
Cited 1

Introduction to algorithms

Introduction to algorithms
The University of Washington illustrating compiler

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A Taxonomy of Program Visualization Systems

Computer
INCENSE: A system for displaying data structures

SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques

Algorithm Animation - Introduction

Revised Lectures on Software Visualization, International Seminar

Quantified Score

Hi-index	0.00

Visualization

Abstract

Representing abstract data structures in a real programming language is a key step of algorithm implementation and often requires programmers to introduce language-dependent details irrelevant for both a high-level analysis of the code and algorithm comprehension. In this paper we present a logic-based technique for recovering from the loss of abstraction related to the implementation process in order to create intuitive high-level pictorial representations of data structures, useful for program debugging, research and educational purposes.