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.
[Paper.ps.gz
(22p, 48k, from troff, reformatted)]
[Abstract of next TrafoLa report]