{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:17Z","timestamp":1773192737628,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540489375","type":"print"},{"value":"9783540489382","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11924661_23","type":"book-chapter","created":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T13:42:39Z","timestamp":1161956559000},"page":"374-388","source":"Crossref","is-referenced-by-count":36,"title":["A Practical String Analyzer by the Widening Approach"],"prefix":"10.1007","author":[{"given":"Tae-Hyoung","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oukseh","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunha","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyung-Goo","family":"Doh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","first-page":"296","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"D.R. Chase","year":"1990","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 296\u2013310. ACM Press, New York (1990)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise analysis of string expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1\u201318. Springer, Heidelberg (2003)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (January 1977)","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"23_CR4","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation\u00a02(4), 511\u2013547 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Gould, C., Su, Z., Devanbu, P.: Static checking of dynamically generated queries in database applications. In: Proceedings of the International Conference on Software Engineering, pp. 645\u2013654 (May 2004)","DOI":"10.1109\/ICSE.2004.1317486"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11823230_22","volume-title":"Static Analysis","author":"C. Kirkegaard","year":"2006","unstructured":"Kirkegaard, C., M\u00f8ller, A.: Static analysis for java servlets and JSP. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 336\u2013352. Springer, Heidelberg (2006)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Minamide, Y.: Static approximation of dynamically generated web pages. In: Proceedings of the International World Wide Web Conference Committee, pp. 432\u2013441 (2005)","DOI":"10.1145\/1060745.1060809"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-94-015-9719-7_6","volume-title":"Robustness in Language and Speech Technology","author":"M. Mohri","year":"2001","unstructured":"Mohri, M., Nederhof, M.-J.: Regular approximation of context-free grammars through transformation. In: Junqua, J.-C., van Noord, G. (eds.) Robustness in Language and Speech Technology, pp. 153\u2013163. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"23_CR9","first-page":"332","volume-title":"Proceedings of the ACM Symposium on Principles of Programming Languages","author":"F. Nielson","year":"1997","unstructured":"Nielson, F., Nielson, H.R.: Infinitary control flow analysis: a collecting semantics for closure analysis. In: Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 332\u2013345. ACM Press, New York (1997)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Shivers, O.: Control flow analysis in scheme. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (June 1988)","DOI":"10.1145\/53990.54007"},{"key":"23_CR11","unstructured":"Tabuchi, N., Sumii, E., Yonezawa, A.: Regular expression types for strings in a text processing language. In: Proceedings of Workshop on Types in Programming, pp. 1\u201318 (July 2002)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Thiemann, P.: Grammar-based analysis string expressions. In: Proceedings of the ACM Workshop on Types in Language Design and Implementation, pp. 59\u201370 (2004)","DOI":"10.1145\/1040294.1040300"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11924661_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:41Z","timestamp":1605643181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11924661_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489375","9783540489382"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11924661_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}