3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Nathan Wasser, Dominic Steinhöfel
Indexed loop scopes have been shown to be a helpful tool in creating sound loop invariant rules in dynamic logic for programming languages with abrupt completion, such as Java. The…