DocumentCode :
1104991
Title :
On the Time Required for Timing—The Halting Problem Rephrased
Author :
Nievergelt, J.
Issue :
5
fYear :
1970
fDate :
5/1/1970 12:00:00 AM
Firstpage :
458
Lastpage :
459
Abstract :
The proof of the unsolvability of the halting problem can be reformulated to show that, in general, the best one can do to estimate the run time of programs is to execute them.
Keywords :
Halting problem, time requirement.; Circuit theory; Delay; Hazards; Programming profession; Radio access networks; Switching circuits; Timing; Halting problem, time requirement.;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/T-C.1970.222947
Filename :
1671540
Link To Document :
بازگشت