Assertion: program transformation | /r/HasProperty | specified as automated procedures
Facets:
Source sentences:
text: Program transformations may be specified as automated procedures that modify compiler data structures (e.g. abstract syntax trees) representing the program text, or may be specified more conveniently using patterns or templates representing parameterized source code fragments.