16 citations · 16 across the 9 of their papers we have counts for
1 paper · 2 filters
Shuying Liang, Matthew Might, Thomas Gilray +1
Statically reasoning in the presence of and about exceptions is challenging: exceptions worsen the well-known mutual recursion between data-flow and control-flow analysis. The rece…