For completeness: Non trivial properties of programs languages are undecidable.
|
2 | added 1 characters in body | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
For completeness: Non trivial properties of programs are undecidable. |
||||
