{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:13:22Z","timestamp":1725711202732},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357947"},{"type":"electronic","value":"9783642357954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35795-4_58","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T09:49:42Z","timestamp":1357292982000},"page":"458-465","source":"Crossref","is-referenced-by-count":0,"title":["An Integration of Several Different Data Flow Analysis Techniques"],"prefix":"10.1007","author":[{"given":"Yuchen","family":"Xing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanfei","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers-Principles, Techniques and Tools, 2nd edn. Addison Wesley (2007)"},{"key":"58_CR2","unstructured":"Khedker, U.P., Sanyal, A., Karkare, B.: Data Flow Analysis Theory and Practice. CRC Press (2009)"},{"issue":"3","key":"58_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/360018.360025","volume":"19","author":"F.E. Allen","year":"1976","unstructured":"Allen, F.E., Cocke, J.: A program data flow analysis procedure. Communication of the ACM\u00a019(3), 137\u2013147 (1976)","journal-title":"Communication of the ACM"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Record of the ACM Symposium on Principles of Programming Languages, New York, pp. 194\u2013206 (1973)","DOI":"10.1145\/512927.512945"},{"issue":"9","key":"58_CR5","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/s002360050101","volume":"34","author":"C.S. Hsieh","year":"1997","unstructured":"Hsieh, C.S.: A fine- grained data- flow analysis framework. Acta Informatica\u00a034(9), 653\u2013665 (1997)","journal-title":"Acta Informatica"},{"issue":"5","key":"58_CR6","doi-asserted-by":"publisher","first-page":"1472","DOI":"10.1145\/186025.186043","volume":"16","author":"U.P. Khedler","year":"1994","unstructured":"Khedler, U.P., Dhamdhere, D.M.: A generalized theory of bit vector data flow analysis. ACM TOPLAS\u00a016(5), 1472\u20131511 (1994)","journal-title":"ACM TOPLAS"},{"issue":"1","key":"58_CR7","first-page":"48","volume":"21","author":"X. Liu","year":"2006","unstructured":"Liu, X., Wu, Y., Li, M., Zeng, X.: A Study of Data- flow Analysis Framework Based on Lattice. Computer Engineering and Applications\u00a021(1), 48\u201351 (2006)","journal-title":"Computer Engineering and Applications"}],"container-title":["Communications in Computer and Information Science","Trustworthy Computing and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35795-4_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:31:15Z","timestamp":1620135075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35795-4_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357947","9783642357954"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35795-4_58","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}