Type-Checking for Pattern-Based Tree Transformations

C. Aiswarya, Sahil Mhaskar, M. Praveen

We introduce and study pattern-based tree transformations. As an illustrating example, consider a source pattern $(x\cdot y)+(x\cdot z)$ and a target pattern $x\cdot (y+z)$…