Assertion: compiler | /r/CapableOf | implement formal transformation
Facets:
Source sentences:
text: A compiler implements a formal transformation from a high-level source program to a low-level target program.