Difference between revisions of "Termination analysis"

From Wiki @ Karl Jones dot com
Jump to: navigation, search
 
Line 9: Line 9:
 
== See also ==
 
== See also ==
  
* Complexity analysis - see [[Analysis of algorithms]], the problem of estimating the time needed to terminate
+
* [[Analysis of algorithms]]
 
* [[Halting problem]]
 
* [[Halting problem]]
 
* [[Loop variant]]
 
* [[Loop variant]]

Latest revision as of 20:52, 20 September 2016

In computer science, a termination analysis is program analysis which attempts to determine whether the evaluation of a given computer program will definitely terminate.

Description

Because the halting problem is undecidable, termination analysis cannot be total.

The aim is to find the answer "program does terminate" (or "program does not terminate") whenever this is possible. Without success the algorithm (or human) working on the termination analysis may answer with "maybe" or continue working infinitely long.

See also

External links