|
|
|
|
|
by tansey
5540 days ago
|
|
This is provably impossible in the general case [1] and almost impossible in his specific case. It's extremely difficult to know if/when a program will terminate using just static analysis. Edit: Why the down vote? [1] http://en.wikipedia.org/wiki/Halting_problem |
|