Assertion: program transformation | /r/HasProperty | any operation
Facets:
Source sentences:
text: A program transformation is any operation that takes a computer program and generates another program.