Analysis of programs with exception-handling constructs | IEEE Conference Publication | IEEE Xplore