Assertion: compiler | /r/HasProperty | impossible
Facets:
value: fundamentally
type: DEGREE
Source sentences:
text: There is no way that a compiler can guarantee that, for all program source code, the fastest or smallest possible equivalent compiled program is output; such a compiler is fundamentally impossible because it would solve the halting problem (assuming Turing completeness).[citation needed]