9 citations · 26 across the 15 of their papers we have counts for
1 paper · 2 filters
Radu Iosif, Filip Konecny, Marius Bozga
We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dua…