Sciweavers

CAV
2009
Springer
181views Hardware» more  CAV 2009»
15 years 2 days ago
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
Amir M. Ben-Amram