Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs

Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar. Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. In PASTE. pages 21-31, 1999. [doi]

Abstract

Abstract is missing.