Assertion: computer's program | /r/HasProperty | analyzed
Facets:
Source sentences:
text: The ATOM platform converts a program into its own profiler: at compile time, it inserts code into the program to be analyzed.