 Termination analysis

In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for "each" input.This means to determine whether the input program computes a "total" function.