Specification scheme for the visualisation of data structures

The paper describes a general principle for program visualisation, based on the concept of structure models. We propose a specification scheme that can be used to implement the general principle without requiring a change of the program code. Two aspects of the scheme are discussed in detail; the specification of critical entities and their graphical representations. Its use is illustrated by means of a specification for the visualisation of a program which calculates the convex hull of a finite set of points