@article{Yi1998,
   author = {Kwangkeun Yi},
   title = {An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs},
   journal = {Science of Computer Programming},
   volume = {31},
   number = {1},
   pages = {147--173},
   year = {1998},
   note = {(invited paper)},
   format = {ps},
   category = {exception-analysis journal},
}