{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T16:46:31Z","timestamp":1770309991312,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540525929","type":"print"},{"value":"9783540470458","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52592-0_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:39:51Z","timestamp":1330205991000},"page":"389-405","source":"Crossref","is-referenced-by-count":29,"title":["The value flow graph: A program representation for optimal program transformations"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[]},{"given":"Jens","family":"Knoop","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"R\u00fcthing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"F. E. Allen. \u201cControl Flow Analysis\u201d. ACM Sigplan Notices, July 1970","DOI":"10.1145\/390013.808479"},{"key":"24_CR2","volume-title":"Program Flow Analysis: Theory and Applications","author":"F. E. Allen","year":"1981","unstructured":"F. E. Allen, J. Cocke and K. Kennedy. \u201cReduction of Operator Strength\u201d. In: St. S. Muchnick and N. D. Jones, editors. \u201cProgram Flow Analysis: Theory and Applications\u201d, Prentice Hall, Inc., Englewood Cliffs, New Jersey 07632, 1981"},{"key":"24_CR3","unstructured":"G. J. Chaitin. \u201cRegister Allocation and Spilling via Graph Coloring\u201d. IBM T. J. Watson Research Center, Computer Science Department, P.O. Box 218, Yorktown Height, N. Y. 10598, 1981"},{"key":"24_CR4","unstructured":"G. J. Chaitin, M. A. Auslander, A. K. Chandra, J. Cocke, M. E. Hopkins and P. W. Markstein. \u201cRegister Allocation via Coloring\u201d. IBM T. J. Watson Research Center, Computer Science Department, P.O. Box 218, Yorktown Height, N. Y. 10598, 1980"},{"issue":"11","key":"24_CR5","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/359863.359888","volume":"20","author":"J. Cocke","year":"1977","unstructured":"J. Cocke and K. Kennedy. \u201cAn Algorithm for Reduction of Operator Strength\u201d. Communications of the ACM, 20(11):850\u2013856, 1977","journal-title":"Communications of the ACM"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"A. Fong, J. B. Kam and J. D. Ullman. \u201cApplication of Lattice Algebra to Loop Optimization\u201d. 2nd POPL, Palo Alto, California, 1\u20139, 1975","DOI":"10.1145\/512976.512977"},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1080\/00207168208803296","volume":"11","author":"S. M. Joshi","year":"1982","unstructured":"S. M. Joshi and D. M. Dhamdhere. \u201cA Composite Hoisting-Strength Reduction Transformation for Global Program Optimization \u2014 Part I\u201d. Internat. J. Computer Math. 11, 21\u201341, 1982","journal-title":"Internat. J. Computer Math."},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1080\/00207168208803303","volume":"11","author":"S. M. Joshi","year":"1982","unstructured":"S. M. Joshi and D. M. Dhamdhere. \u201cA Composite Hoisting-Strength Reduction Transformation for Global Program Optimization \u2014 Part II\u201d. Internat. J. Computer Math. 11, 111\u2013126, 1982","journal-title":"Internat. J. Computer Math."},{"key":"24_CR9","unstructured":"G. A. Kildall. \u201cGlobal Expression Optimization during Compilation\u201d. Technical Report No. 72-06-02, University of Washington, Computer Science Group, Seattle, Washington, 1972"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"G. A. Kildall. \u201cA Unified Approach to Global Program Optimization\u201d. 1st POPL, Boston, Massachusetts, 194\u2013206, 1973","DOI":"10.1145\/512927.512945"},{"issue":"2","key":"24_CR11","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"E. Morel and C. Renvoise. \u201cGlobal Optimization by Suppression of Partial Redundancies\u201d. Communications of the ACM, 22(2):96\u2013103, 1979","journal-title":"Communications of the ACM"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"B. K. Rosen, M. N. Wegman and F. K. Zadeck. \u201cGlobal Value Numbers and Redundant Computations\u201d. 15th POPL, San Diego, California, 12\u201327, 1988","DOI":"10.1145\/73560.73562"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"B. Steffen. \u201cOptimal Run Time Optimization. Proved by a New Look at Abstract Interpretations\u201d. TAPSOFT'87, Pisa, Italy, LNCS 249, 52\u201368, 1987","DOI":"10.1007\/3-540-17660-8_47"},{"key":"24_CR14","unstructured":"B. Steffen. \u201cAbstrakte Interpretationen beim Optimieren von Programmlaufzeiten. Ein Optimalit\u00e4tskonzept und seine Anwendung\u201d. PhD thesis, Christian-Albrechts-Universit\u00e4t Kiel, 1987"},{"key":"24_CR15","first-page":"481","volume":"379","author":"B. Steffen","year":"1989","unstructured":"B. Steffen and J. Knoop. \u201cFinite Constants: Characterizations of a New Decidable Set of Constants\u201d. 14th MFCS, Por\u0105bka-Kozubnik, Poland, LNCS 379, 481\u2013491, 1989","journal-title":"LNCS"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"B. Steffen and J. Knoop. \u201cFinite Constants: Characterizations of a New Decidable Set of Constants\u201d. Extended version of [SK1], LFCS Report Series, ECS-LFCS-89-79, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989","DOI":"10.1007\/3-540-51486-4_94"}],"container-title":["Lecture Notes in Computer Science","ESOP '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52592-0_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:58Z","timestamp":1605648298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52592-0_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525929","9783540470458"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-52592-0_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}