Monotonicity Constraints for Termination in the Integer Domain

Amir M. Ben-Amram

Size-Change Termination (SCT) is a method of proving program termination based on the impossibility of infinite descent. To this end we use a program abstraction in which transitio…