{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:23Z","timestamp":1725494663536},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671022"},{"type":"electronic","value":"9783540465621"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46562-6_34","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T00:12:56Z","timestamp":1194999176000},"page":"389-395","source":"Crossref","is-referenced-by-count":3,"title":["Data Flow Analysis of Java Programs in the Presence of Exceptions"],"prefix":"10.1007","author":[{"given":"Vladimir I.","family":"Shelekhov","sequence":"first","affiliation":[]},{"given":"Sergey V.","family":"Kuksenko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,1,28]]},"reference":[{"key":"34_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Complexity of Concrete Type-Inference in the Presence of Exceptions","author":"R. Chatterjee","year":"1998","unstructured":"R. Chatterjee, B.G. Ryder, and W.A. Landi. Complexity of Concrete Type-Inference in the Presence of Exceptions. LNCS 1381, Proceedings of European Symposium on Programming, April, 1998."},{"key":"34_CR2","unstructured":"S.V. Kuksenko, V.I. Shelekhov. The Static Source Code Checker of Run-time Errors, Programmirovanie, 1998, no. 6. (in Russian)"},{"issue":"4","key":"34_CR3","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. Zadek. Efficient Computing Static Single Assignment Form and the Control Dependence Graph, ACM Trans. Prog. Lang. Sys., 1991, vol. 13, no. 4, pp. 451\u2013490.","journal-title":"ACM Trans. Prog. Lang. Sys."},{"key":"34_CR4","first-page":"6","volume-title":"Sredstva i instrumenty programmirovaniya (Programming Tools)","author":"V.I. Shelekhov","year":"1995","unstructured":"Shelekhov, V.I., Invariant of the Programming Language, in Sredstva i instrumenty programmirovaniya (Programming Tools), Novosibirsk: Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, 1995, pp. 6\u201322. (in Russian)"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R., Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Rec. 18th ACM Symp. on Principles of Programming Languages, ACM, 1977, pp. 55\u201356.","DOI":"10.1145\/512950.512973"},{"issue":"7","key":"34_CR6","first-page":"235","volume":"27","author":"W. Landi","year":"1992","unstructured":"Landi, W. and Rider, B.G., A Safe Approximate Algorithm for Interprocedural Pointer Aliasing, Proc. ACM SIGPLAN\u201992 Conf. on Prog. Lang. Design and Implem., SIGPLAN Notices, 1992, vol. 27, no. 7, pp. 235\u2013248.","journal-title":"Proc. ACM SIGPLAN\u201992 Conf. on Prog. Lang. Design and Implem."},{"key":"34_CR7","unstructured":"J. Gosling, B. Joy, G. Steele. The Java Language Specification. Pre-Release Version 1.0, Draft 5.2-July 3, 1996"},{"key":"34_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/BFb0032736","volume-title":"Static Analysis, 4th International Symposium, SAS\u201997. Proceedings","author":"K. Yi","year":"1997","unstructured":"Kwangkeun Yi, Sukyoung Ryu. Toward a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. LNCS 1302, Static Analysis, 4th International Symposium, SAS\u201997. Proceedings. 1997. pp. 98\u2013113."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46562-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:28:49Z","timestamp":1551097729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46562-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671022","9783540465621"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46562-6_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}