{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:07:30Z","timestamp":1725894450910},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071310"},{"type":"electronic","value":"9783540374015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07131-8_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:41:28Z","timestamp":1330184488000},"page":"291-321","source":"Crossref","is-referenced-by-count":4,"title":["Interprocedural analysis and the information derived by it"],"prefix":"10.1007","author":[{"given":"F. E.","family":"Allen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"12_CR1","volume-title":"Interprocedural Data Flow Analysis","author":"F. E. Allen","year":"1974","unstructured":"F. E. Allen, \"Interprocedural Data Flow Analysis\", Proceedings IFIP Conference 1974, North Holland Publishing Company, Amsterdam, 1974 (also as IBM Research Report RC4633, T. J. Watson Research Center, Yorktown Heights, N.Y., November, 1973)."},{"key":"12_CR2","volume-title":"A Basis for Program Optimization","author":"F. E. Allen","year":"1971","unstructured":"F. E. Allen, \"A Basis for Program Optimization\", Proceedings IFIP Conference 1971, North Holland Publishing Company, Amsterdam, 1971."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"F. E. Allen, \"A Method for Determining Program Data Relationships\", International Symposium on Theoretical Programming, Edited by Andrei Ershov and Valery A. Nepomniaschy, Lecture Notes in Computer Science, Vol. 5, Springer-Verlag, pp. 299\u2013308, 1974.","DOI":"10.1007\/3-540-06720-5_19"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"F. E. Allen, \"Control Flow Analysis\", Proceedings of a Symposium on Compiler Optimization, SIGPLAN Notices, July, 1970.","DOI":"10.1145\/800028.808479"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Matthew S. Hecht and Jeffrey D. Ullman, \"Analysis of a Simple Algorithm for Global Flow Problems\", Conference Record of ACM Symposium on Principles of Programming Languages, Boston, Mass., October, 1973","DOI":"10.1145\/512927.512946"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1080\/00207167108803048","volume":"3","author":"K. Kennedy","year":"1971","unstructured":"K. Kennedy, \"A Global Flow Analysis Algorithm\", International Journal of Computer Math., Vol. 3, pp. 5\u201315, December, 1971.","journal-title":"International Journal of Computer Math."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Gary A. Kildall, \"A Unified Approach to Global Program Optimization, Conference Record of ACM Symposium on Principles of Programming Languages, Boston, Mass., pp. 194\u2013206, October, 1973.","DOI":"10.1145\/512927.512945"},{"key":"12_CR8","unstructured":"Barry K. Rosen, \"Data Flow Analysis for Recursive PL\/I Programs\" (In preparation)."},{"key":"12_CR9","volume-title":"Inter-Procedural Optimization","author":"J. Schwartz","year":"1974","unstructured":"J. Schwartz, \"Inter-Procedural Optimization\", SETL Newsletter #134, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, N.Y., N.Y., July 1, 1974."},{"key":"12_CR10","volume-title":"Exposing Side-Effects in a PL\/I Optimizing Compiler","author":"Thomas C. C. Spillman","year":"1971","unstructured":"Thomas C. Spillman, \"Exposing Side-Effects in a PL\/I Optimizing Compiler\", Proceedings of IFIP Congress 1971, North Holland Publishing Company, Amsterdam, 1971."}],"container-title":["Lecture Notes in Computer Science","Programming Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07131-8_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:43Z","timestamp":1605643003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07131-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071310","9783540374015"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-07131-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}