Practical Exception Specifications Export

@incollection{citeulike:2548381, abstract = {Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification systems are impractical in a number of ways. In particular, they are too low-level, too heavyweight, and do not provide adequate support for describing exception policies. We have identified the essential properties of a practical exception specification system and we present a methodology and tool that provides integrated support for specifying understanding, and evolving exception policies. The annotations required of the programmer are lightweight and easier to maintain than those of current systems; in our studies we observed a 50\% to 93\% reduction in annotations. By leveraging these annotations, our system provides scalable support for understanding exception flow and for modifying exception annotations.}, author = {Malayeri, Donna and Aldrich, Jonathan}, citeulike-article-id = {2548381}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11818502_11}, comment = {怎么通过annotation描述EH的控制流}, doi = {10.1007/11818502_11}, journal = {Advanced Topics in Exception Handling Techniques}, keywords = {exception, programming\_language}, pages = {200--220}, posted-at = {2008-03-18 04:37:17}, priority = {2}, title = {Practical Exception Specifications}, url = {http://dx.doi.org/10.1007/11818502_11}, year = {2006} }

TY - CHAP ID - citeulike:2548381 L3 - citeulike-article-id:2548381 N2 - Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification systems are impractical in a number of ways. In particular, they are too low-level, too heavyweight, and do not provide adequate support for describing exception policies. We have identified the essential properties of a practical exception specification system and we present a methodology and tool that provides integrated support for specifying understanding, and evolving exception policies. The annotations required of the programmer are lightweight and easier to maintain than those of current systems; in our studies we observed a 50% to 93% reduction in annotations. By leveraging these annotations, our system provides scalable support for understanding exception flow and for modifying exception annotations. JF - Advanced Topics in Exception Handling Techniques EP - 220 TI - Practical Exception Specifications SP - 200 KW - exception KW - programming_language N1 - 怎么通过annotation描述EH的控制流 AU - Malayeri, Donna AU - Aldrich, Jonathan PY - 2006/// UR - http://dx.doi.org/10.1007/11818502_11 ER -