{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:38Z","timestamp":1725663878570},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_78","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:19:04Z","timestamp":1330208344000},"page":"394-415","source":"Crossref","is-referenced-by-count":11,"title":["Efficient code motion and an adaption to strength reduction"],"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,7,6]]},"reference":[{"key":"24_CR1","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, 1981"},{"issue":"6","key":"24_CR2","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/872726.806984","volume":"17","author":"G. J. Chaitin","year":"1982","unstructured":"G. J. Chaitin. \u201cRegister Allocation and Spilling via Graph Coloring\u201d. SIGPLAN Notices, 17(6):98\u2013105, 1982","journal-title":"SIGPLAN Notices"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0096-0551(81)90048-5","volume":"6","author":"G. J. Chaitin","year":"1981","unstructured":"G. J. Chaitin, M. A. Auslander, A. K. Chandra, J. Cocke, M. E. Hopkins and P. W. Markstein. \u201cRegister Allocation via Coloring\u201d. Computer Languages Vol. 6, 47\u201357, 1981","journal-title":"Computer Languages"},{"issue":"11","key":"24_CR4","doi-asserted-by":"crossref","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_CR5","doi-asserted-by":"crossref","unstructured":"J. Cai and R. Paige. \u201cLook Ma, No Hashing, And No Arrays Neither\u201d. 18 th POPL, Orlando, Florida, 1991","DOI":"10.1145\/99583.99605"},{"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. 2 nd 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 Histing-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","series-title":"Technical Report","volume-title":"Global Expression Optimization during Compilation","author":"G. A. Kildall","year":"1972","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. 1 st POPL, Boston, Massachusetts, 194\u2013206, 1973","DOI":"10.1145\/512927.512945"},{"key":"24_CR11","volume-title":"Strength Reduction based on Code Motion: A Uniform Approach","author":"J. Knoop","year":"1991","unstructured":"J. Knoop and B. Steffen. \u201cStrength Reduction based on Code Motion: A Uniform Approach\u201d. Extended version of Part II of this paper. Bericht Nr. 9103, Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel, Germany, 1991"},{"key":"24_CR12","first-page":"309","volume":"7","author":"J. B. Kam","year":"1977","unstructured":"J. B. Kam and J. D. Ullman. \u201cMonotone Data Flow Analysis Frameworks\u201d. Acta Informatica 7, 309\u2013317, 1977","journal-title":"Acta Informatica"},{"issue":"2","key":"24_CR13","doi-asserted-by":"crossref","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_CR14","unstructured":"R. Paige. \u201cFormal Differentiation \u2014 A Program Synthesis Technique\u201d. UMI Research Press, 1981."},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"R. Paige. \u201cTransformational Programming \u2014 Applications to Algorithms and Systems\u201d. 10 th POPL, Austin, Texas, 73\u201387, 1983","DOI":"10.1145\/567067.567076"},{"issue":"3","key":"24_CR16","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R. Paige","year":"1982","unstructured":"R. Paige and S. Koenig. \u201cFinite Differencing of Computable Expressions\u201d. ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3, 402\u2013454, 1982","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"B. K. Rosen, M. N. Wegman and F. K. Zadeck. \u201cGlobal Value Numbers and Redundant Computations\u201d. 15 th POPL, San Diego, California, 12\u201327, 1988","DOI":"10.1145\/73560.73562"},{"key":"24_CR18","first-page":"52","volume":"249","author":"B. Steffen","year":"1987","unstructured":"B. Steffen. \u201cOptimal Run Time Optimization. Proved by a New Look at Abstract Interpretations\u201d. 2 nd TAPSOFT, Pisa, Italy, LNCS 249, 52\u201368, 1987","journal-title":"LNCS"},{"key":"24_CR19","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. 14 th MFCS, Porabka-Kozubnik, Poland, LNCS 379, 481\u2013491, 1989 \u2014 An extended version is to appear in TCS 80(1), April 1991","journal-title":"LNCS"},{"key":"24_CR20","first-page":"389","volume":"432","author":"B. Steffen","year":"1990","unstructured":"B. Steffen, J. Knoop and O. R\u00fcthing. \u201cThe Value Flow Graph: A Program Representation for Optimal Program Transformations\u201d. 3 rd ESOP, Copenhagen, Denmark, LNCS 432, 389\u2013405, 1990 \u2014 Extended version available as: Bericht Nr. 9004, Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel, Germany, 1990","journal-title":"LNCS"},{"key":"24_CR21","volume-title":"Optimal Code Motion within Flow Graphs: A Practical Approach","author":"B. Steffen","year":"1991","unstructured":"B. Steffen, J. Knoop and O. R\u00fcthing. \u201cOptimal Code Motion within Flow Graphs: A Practical Approach\u201d. Extended version of Part I of this paper. Bericht Nr. 9102, Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel, Germany, 1991"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:43Z","timestamp":1605646303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3540539816_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}