3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Nathan Wasser, Dominic Steinhöfel
Loop scopes have been shown to be a helpful tool in creating sound loop invariant rules which do not require program transformation of the loop body. Here we extend this idea from…