69 citations · 153 across the 16 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 4 cited
On Decidable Growth-Rate Properties of Imperative Programs
Amir M. Ben-Amram
In 2008, Ben-Amram, Jones and Kristiansen showed that for a simple "core" programming language - an imperative language with bounded loops, and arithmetics limited to addition and…
cs.LO2010★ 21 cited
Size-Change Termination, Monotonicity Constraints and Ranking Functions
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 may use a program abstraction in which trans…