Semantics by levels: An example for an image language

Ambiguities in formal language constructs may decrease both the understanding and the coding efficiency of a program. Within an image language, two semantic levels have been detected, corresponding to the lower level (pixel-based) and to the higher level (image-based). Denotational semantics has been used to define both levels within PIXAL (an image language) in order to enable the reader to visualize a concrete application of the semantic levels and their implications in a programming environment. This paper presents the semantics of different levels of conceptualization in the abstract formal description of an image language. The disambiguation of the meaning of special purpose constructs that imply either the elementary (pixels) level or the high image (array) level is naturally obtained by means of such semantic clauses. Perhaps non Von architectures on which hierarchical computations may be performed could also benefit from the use of semantic clauses to explicit the different levels where such computations are executed