collaborators

1 paper

cs.PL2013

Pushdown Exception-Flow Analysis of Object-Oriented Programs

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…