Encyclopedia > T > Termination analysis
Termination analysis
In computer science, termination analysis is a program analysis technique which attempts to determine whether the evaluation of a given expression will definitely terminate. The study of this problem has led to several interesting results in computer science and mathematics; for example the solution to the Halting problem.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)