{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:59Z","timestamp":1762458899314,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226540"},{"type":"electronic","value":"9783642226557"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22655-7_27","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T17:37:43Z","timestamp":1311010663000},"page":"583-608","source":"Crossref","is-referenced-by-count":13,"title":["Interprocedural Exception Analysis for C++"],"prefix":"10.1007","author":[{"given":"Prakash","family":"Prabhu","sequence":"first","affiliation":[]},{"given":"Naoto","family":"Maeda","sequence":"additional","affiliation":[]},{"given":"Gogul","family":"Balakrishnan","sequence":"additional","affiliation":[]},{"given":"Franjo","family":"Ivan\u010di\u0107","sequence":"additional","affiliation":[]},{"given":"Aarti","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","first-page":"1","volume-title":"International Symposium on Software Testing and Analysis (ISSTA)","author":"M. Bravenboer","year":"2009","unstructured":"Bravenboer, M., Smaragdakis, Y.: Exception analysis and points-to analysis: Better together. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 1\u201312. ACM, New York (2009)"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1390630.1390664","volume-title":"ISSTA","author":"R.P. Buse","year":"2008","unstructured":"Buse, R.P., Weimer, W.R.: Automatic documentation inference for exceptions. In: ISSTA, pp. 273\u2013282. ACM, New York (2008)"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Chang, B.-M., Jo, J.-W., Yi, K., Choe, K.-M.: Interprocedural exception analysis for Java. In: Proc. of Symp. on Applied Computing, pp. 620\u2013625 (2001)","DOI":"10.1145\/372202.372786"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Fu, C., Ryder, B.: Exception-chain analysis: Revealing exception handling architecture in Java server applications. In: ICSE, pp. 230\u2013239 (May 2007)","DOI":"10.1109\/ICSE.2007.35"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-15643-4_14","volume-title":"Automated Technology for Verification and Analysis","author":"C. Gherghina","year":"2010","unstructured":"Gherghina, C., David, C.: A specification logic for exceptions and beyond. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol.\u00a06252, pp. 173\u2013187. Springer, Heidelberg (2010)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Ivan\u010di\u0107, F., Shlyakhter, I., Gupta, A., Ganai, M., Kahlon, V., Wang, C., Yang, Z.: Model checking C programs using F-Soft. In: IEEE International Conference on Computer Design, pp. 297\u2013308 (October 2005)","DOI":"10.1109\/ICCD.2005.77"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-24707-4_14","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2004","author":"J.-W. Jo","year":"2004","unstructured":"Jo, J.-W., Chang, B.-M.: Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow. In: Lagan\u00e1, A., Gavrilova, M.L., Kumar, V., Mun, Y., Tan, C.J.K., Gervasi, O. (eds.) ICCSA 2004. LNCS, vol.\u00a03043, pp. 106\u2013113. Springer, Heidelberg (2004)"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0164-1212(03)00057-8","volume":"72","author":"J.-W. Jo","year":"2004","unstructured":"Jo, J.-W., Chang, B.-M., Yi, K., Choe, K.-M.: An uncaught exception analysis for Java. Journal of Systems and Software\u00a072(1), 59\u201369 (2004)","journal-title":"Journal of Systems and Software"},{"key":"27_CR10","unstructured":"Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: International Symposium on Code Generation and Optimization (CGO), Palo Alto, California (March 2004)"},{"key":"27_CR11","first-page":"396","volume-title":"Proc. of Formal Methods","author":"X. Li","year":"2006","unstructured":"Li, X., Hoover, H., Rudnicki, P.: Towards automatic exception safety verification. In: Proc. of Formal Methods, pp. 396\u2013411. Springer, Heidelberg (2006)"},{"key":"27_CR12","unstructured":"Mao, C.-Y., Lu, Y.-S.: Improving the robustness and reliability of object-oriented programs through exception analysis and testing. In: IEEE International Conference on Engineering of Complex Computer Systems, vol.\u00a00, pp. 432\u2013439 (2005)"},{"key":"27_CR13","unstructured":"NECLA verification benchmarks, http:\/\/www.nec-labs.com\/research\/system\/systems_SAV-website\/benchmarks.php"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Int. Conf. on Comp. Construct","author":"G.C. Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of C programs. In: Int. Conf. on Comp. Construct, pp. 213\u2013228. Springer, Heidelberg (2002)"},{"issue":"2","key":"27_CR15","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 Transactions on Software Engineering Methodologies\u00a012(2), 191\u2013221 (2003)","journal-title":"ACM Transactions on Software Engineering Methodologies"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"S. Sinha","year":"2000","unstructured":"Sinha, S., Harrold, M.J.: Analysis and testing of programs with exception handling constructs. IEEE Trans. on Software Engineering\u00a026, 849\u2013871 (2000)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"27_CR17","unstructured":"C.standards commitee. Working draft, standard for programming language C++ (2010), http:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2010\/n3126.pdf (accessed September 26, 2010)"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-45407-1_4","volume-title":"Advances in Exception Handling Techniques","author":"B. Stroustrup","year":"2001","unstructured":"Stroustrup, B.: Exception safety: Concepts and techniques. In: Romanovsky, A., Cheraghchi, H.S., Lee, S.H., Babu, C. S. (eds.) ECOOP-WS 2000. LNCS, vol.\u00a02022, pp. 60\u201376. Springer, Heidelberg (2001)"},{"key":"27_CR19","first-page":"535","volume-title":"Int. Conf. on Softw. Eng.","author":"E. Torlak","year":"2010","unstructured":"Torlak, E., Chandra, S.: Effective interprocedural resource leak detection. In: Int. Conf. on Softw. Eng., pp. 535\u2013544. ACM, New York (2010)"},{"issue":"2","key":"27_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1330017.1330019","volume":"30","author":"W. Weimer","year":"2008","unstructured":"Weimer, W., Necula, G.C.: Exceptional situations and program reliability. ACM Trans. Programming Languauges and Systems\u00a030(2), 1\u201351 (2008)","journal-title":"ACM Trans. Programming Languauges and Systems"},{"key":"27_CR21","volume-title":"Data Structures and Algorithm Analysis in C++","author":"M.A. Weiss","year":"1998","unstructured":"Weiss, M.A.: Data Structures and Algorithm Analysis in C++. Addison-Wesley Longman Publishing Co., Inc., Boston (1998)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2011 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22655-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T04:34:29Z","timestamp":1741322069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22655-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226540","9783642226557"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22655-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}