{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:46:33Z","timestamp":1740894393526,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220541"},{"type":"electronic","value":"9783540247074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24707-4_14","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T17:05:36Z","timestamp":1294419936000},"page":"106-113","source":"Crossref","is-referenced-by-count":9,"title":["Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow"],"prefix":"10.1007","author":[{"given":"Jang-Wu","family":"Jo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byeong-Mo","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"The Java Programming Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Programming Language Specification. Addison-Wesley Longman, Amsterdam (1996)"},{"issue":"9","key":"14_CR2","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"S. Sinha","year":"2000","unstructured":"Sinha, S., Harrold, M.: Analysis and Testing of Programs With Exception- Handling Constructs. IEEE Transations on Software Engineering\u00a026(9), 849\u2013871 (2000)","journal-title":"IEEE Transations on Software Engineering"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0053563","volume-title":"Programming Languages and Systems","author":"R.K. Chatterjee","year":"1998","unstructured":"Chatterjee, R.K., Ryder, B.G., Landi, W.A.: Complexity of concrete typeinference in the presence of exceptions. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 57\u201374. Springer, Heidelberg (1998)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Grove, D., Hind, M., Sarkar, V.: Efficient and precise modeling of exceptions for analysis of Java programs. In: Proceedings of 1999 ACM SIGPLANSIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21\u201331 (1999)","DOI":"10.1145\/316158.316171"},{"key":"14_CR5","unstructured":"Heintze, N.: Set-based program analysis. Ph.D thesis, Carnegie Mellon University (1992)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Jang-Wu, J.-O., Chang, B.-M.: Granularity of Constrain-Based Analysis for Java. In: Proceedings of ACM SIGPLAN Conference on Principles and Pracice of Declarative Programming, September 2001, pp. 94\u2013102 (2001)","DOI":"10.1145\/773184.773195"},{"key":"14_CR7","unstructured":"Jang-Wu, J.-O., Chang, B.-M., Yi, K., Choe, K.: An Uncuaght Exception Analysis for Java. Journal of Systems and Software accepted for publication"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-60045-0_58","volume-title":"Computer Aided Verification","author":"P. Cousot","year":"1995","unstructured":"Cousot, P., Cousot, R.: Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and gametheoretic form. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 293\u2013308. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24707-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:29:25Z","timestamp":1740839365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24707-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220541","9783540247074"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24707-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}