1 citations · 1 across the 1 of their papers we have counts for
1 paper
Alexey Bakhirkin, David Monniaux
Alternation of forward and backward analyses is a standard technique in abstract interpretation of programs, which is in particular useful when we wish to prove unreachability of s…