69 citations · 153 across the 16 of their papers we have counts for
1 paper · 1 filter
Amir M. Ben-Amram, Geoff Hamilton
In 2008, Ben-Amram, Jones and Kristiansen showed that for a simple programming language - representing non-deterministic imperative programs with bounded loops, and arithmetics lim…