Notes on TrafoLa, III

Semantics of patterns

Reinhold Heckmann


In this note, we shall make a proposal for the syntax and semantics of patterns in the transformation language TrafoLa. First, we shall define and investigate semantic domains for patterns, and consider semantic equivalence of patterns. Finally, some subclasses of patterns e.g. linear patterns, will be introduced.

[ (22p, 48k, from troff, reformatted)]

[Abstract of next TrafoLa report]

Reinhold Heckmann /