{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:27Z","timestamp":1763467767971},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540374435"},{"type":"electronic","value":"9783540374459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11818502_11","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T09:19:21Z","timestamp":1159867161000},"page":"200-220","source":"Crossref","is-referenced-by-count":8,"title":["Practical Exception Specifications"],"prefix":"10.1007","author":[{"given":"Donna","family":"Malayeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system. In: Huisman, M. (ed.) Cassis International Workshop (2004)","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"11_CR2","volume-title":"Effective Java","author":"J. Bloch","year":"2001","unstructured":"Bloch, J.: Effective Java. Addison-Wesley Professional, Reading (2001)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45407-1_2","volume-title":"Advances in exception handling techniques","author":"C. Dony","year":"2001","unstructured":"Dony, C.: A fully object-oriented exception handling system: rationale and Smalltalk implementation. In: Advances in exception handling techniques, pp. 18\u201338. Springer, New York (2001)"},{"key":"11_CR4","volume-title":"Thinking in Java","author":"B. Eckel","year":"2002","unstructured":"Eckel, B.: Thinking in Java, 3rd edn. Prentice-Hall PTR, Englewood Cliffs (2002)","edition":"3"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K., Lillibridge, M., Nelson, C., Saxe, J., Stata, R.: Extended static checking for Java. In: Proceedings of PLDI 2002 (2002)","DOI":"10.1145\/512529.512558"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Fu, C., Milanova, A., Ryder, B., Wonnacott, D.: Robustness testing of Java server applications. In: IEEE Transactions on Software Engineering, pp. 292\u2013312 (April 2005)","DOI":"10.1109\/TSE.2005.51"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0164-1212(01)00062-0","volume":"59","author":"A.F. Garcia","year":"2001","unstructured":"Garcia, A.F., Rubira, C.M.F., Romanovsky, A.B., Xu, J.: A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of Systems and Software\u00a059(2), 197\u2013222 (2001)","journal-title":"Journal of Systems and Software"},{"key":"11_CR8","series-title":"Java Series","volume-title":"Java(TM) Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: Java(TM) Language Specification, 3rd edn. Java Series. Addison-Wesley Professional, Reading (2005)","edition":"3"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/504282.504300","volume-title":"Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001)","author":"C. Grothoff","year":"2001","unstructured":"Grothoff, C., Palsberg, J., Vitek, J.: Encapsulating objects with confined types. In: Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001), pp. 241\u2013255. ACM Press, New York (2001)"},{"key":"11_CR10","unstructured":"Horton, A.: Why doesn\u2019t C# have exception specifications? Available at: http:\/\/msdn.microsoft.com\/vcsharp\/team\/language\/ask\/exceptionspecs"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Jo, J., Byeong-Mo, C., Yi, K., Kwang-Moo, C.: An uncaught exception analysis for Java. Journal of Systems and Software (2004)","DOI":"10.1016\/S0164-1212(03)00057-8"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"J.R. Kiniry","year":"2003","unstructured":"Kiniry, J.R.: Exceptions in Java and Eiffel: Two extremes in exception design and application. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45407-1_1","volume-title":"Advances in exception handling techniques","author":"J.L. Knudsen","year":"2001","unstructured":"Knudsen, J.L.: Fault tolerance and exception handling in BETA. In: Advances in exception handling techniques, pp. 1\u201317. Springer, New York (2001)"},{"key":"11_CR15","first-page":"218","volume-title":"SEFM","author":"K.R.M. Leino","year":"2004","unstructured":"Leino, K.R.M., Schulte, W.: Exception safety for C#. In: SEFM, pp. 218\u2013227. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1145\/337180.337229","volume-title":"Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000)","author":"M. Lippert","year":"2000","unstructured":"Lippert, M., Lopes, C.V.: A study on exception detecton and handling using aspect-oriented programming. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 418\u2013427. ACM Press, New York (2000)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/255471.255565","volume-title":"Proceedings of the conference on TRI-ADA 1990","author":"J.D. Litke","year":"1990","unstructured":"Litke, J.D.: A systematic approach for implementing fault tolerant software designs in Ada. In: Proceedings of the conference on TRI-ADA 1990, pp. 403\u2013408. ACM Press, New York (1990)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BFb0053375","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"R. Miller","year":"1997","unstructured":"Miller, R., Tripathi, A.R.: Issues with Exception Handling in Object-Oriented Systems. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 85\u2013103. Springer, Heidelberg (1997)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D. Reimer","year":"2003","unstructured":"Reimer, D., Srinivasan, H.: Analyzing exception usage in large Java applications. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"11_CR20","unstructured":"Robillard, M.P.: Personal communication (May 2005)"},{"key":"11_CR21","first-page":"2","volume-title":"Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2000)","author":"M.P. Robillard","year":"2000","unstructured":"Robillard, M.P., Murphy, G.C.: Designing robust Java programs with exceptions. In: FSE 2000, pp. 2\u201310. ACM Press, New York (2000)"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/941566.941569","volume":"12","author":"M.P. Robillard","year":"2003","unstructured":"Robillard, M.P., Murphy, G.C.: Static analysis to support the evolution of exception structure in object-oriented systems. ACM Trans. Softw. Eng. Methodol.\u00a012(2), 191\u2013221 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/ICSE.2004.1317456","volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE 2004)","author":"S. Sinha","year":"2004","unstructured":"Sinha, S., Orso, A., Harrold, M.J.: Automated support for development, maintenance, and testing in the presence of implicit control flow. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pp. 336\u2013345. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR24","unstructured":"Venners, B.: Interface Design: Best Practices in Object-Oriented API Design in Java (2001), Available at: http:\/\/www.artima.com\/interfacedesign"},{"key":"11_CR25","unstructured":"Venners, B.: Failure and exceptions: a conversation with James Gosling, Part II (September 2003), Available at: http:\/\/www.artima.com\/intv\/solid.html"},{"key":"11_CR26","unstructured":"Venners, B., Eckel, B.: The trouble with checked exceptions: A conversation with Anders Hejlsberg, Part II (August 2003), Available at: http:\/\/www.artima.com\/intv\/handcuffs.html"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Exception Handling Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11818502_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:17Z","timestamp":1605626177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11818502_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540374435","9783540374459"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11818502_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}