= Size-change termination principle
{wiki=Size-change_termination_principle}
The Size-Change Termination (SCT) principle is a technique used in the field of computer science, particularly in the context of program analysis and verification. It provides a method for determining whether a given recursive program is guaranteed to terminate. The SCT principle is based on the observation that if recursive calls reduce certain arguments in a way that can be measured (i.e., they "shrink" in size), then we can infer termination. \#\#\# Key Concepts 1.
Back to article page
