{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:04Z","timestamp":1725466144582},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053569","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"154-169","source":"Crossref","is-referenced-by-count":9,"title":["Code motion and code placement: Just synonyms?"],"prefix":"10.1007","author":[{"given":"Jens","family":"Knoop","sequence":"first","affiliation":[]},{"given":"Oliver","family":"R\u00fcthing","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In Conf. Rec. 15th Symp. Principles of Prog. Lang. (POPL'88), pages 1\u201311. ACM, NY, 1988.","DOI":"10.1145\/73560.73561"},{"key":"11_CR2","volume-title":"PhD thesis","author":"F. Chow","year":"1983","unstructured":"F. Chow. A Portable Machine Independent Optimizer-Design and Measurements. PhD thesis, Stanford Univ., Dept. of Electrical Eng., Stanford, CA, 1983. Publ. as Tech. Rep. 83-254, Comp. Syst. Lab., Stanford Univ."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"C. Click. Global code motion\/global value numbering. In Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl. (PLDI'95), volume 30,6 of ACM SIGPLAN Not, pages 246\u2013257, 1995.","DOI":"10.1145\/223428.207154"},{"key":"11_CR4","volume-title":"Programming languages and their compilers","author":"J. Cocke","year":"1970","unstructured":"J. Cocke and J. T. Schwartz. Programming languages and their compilers. Courant Inst. Math. Sciences, NY, 1970."},{"issue":"10","key":"11_CR5","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/51607.51621","volume":"23","author":"D. M. Dhamdhere","year":"1988","unstructured":"D. M. Dhamdhere. A fast algorithm for code movement optimization. ACM SIGPLAN Not, 23(10):172\u2013180, 1988.","journal-title":"ACM SIGPLAN Not"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/103135.214520","volume":"13","author":"D. M. Dhamdhere","year":"1991","unstructured":"D. M. Dhamdhere. Practical adaptation of the global optimization algorithm of Morel and Renvoise. ACM Trans. Prog. Lang. Syst., 13(2):291\u2013294, 1991. Tech. Corr.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"D. M. Dhamdhere, B. K. Rosen, and F. K. Zadeck. How to analyze large programs efficiently and informatively. In Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl. (PLDI'92), volume 27,7 of A CM SIGPLAN Not, pages 212\u2013223, 1992.","DOI":"10.1145\/143103.143135"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1145\/48022.214509","volume":"10","author":"K.-H. Drechsler","year":"1988","unstructured":"K.-H. Drechsler and M. P. Stadel. A solution to a problem with Morel and Renvoise's\u201cGlobal optimization by suppression of partial redundancies\u201d. ACM Trans. Prog. Lang. Syst., 10(4):635\u2013640, 1988. Tech. Corr.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"11_CR9","first-page":"1","volume-title":"(POPL'75)","author":"A. Fong","year":"1975","unstructured":"A. Fong, J. B. Kam, and J. D. Ullman. Application of lattice algebra to loop optimization. In Conf. Rec. 2nd Symp. Principles of Prog. Lang. (POPL'75), pages 1\u20139. ACM, NY, 1975."},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1145\/512927.512945","volume-title":"(POPL'73)","author":"G. A. Kildall","year":"1973","unstructured":"G. A. Kildall. A unified approach to global program optimization. In Conf. Rec. 1st Symp. Principles of Prog. Lang. (POPL'73), pages 194\u2013206. ACM, NY, 1973."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"J. Knoop, D. Kosch\u00fctzki, and B. Steffen. Basic-block graphs: Living dinosaurs? In Proc. 7th Int. Conf. on Compiler Constr. (CC'98), LNCS, Springer-V., 1998.","DOI":"10.1007\/BFb0026423"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Lazy code motion. In Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl. DI'92), volume 27,7 of ACM SIGPLAN Not, pages 224\u2013234, 1992.","DOI":"10.1145\/143103.143136"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J. Knoop","year":"1994","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Optimal code motion: Theory and practice. ACM Trans. Prog. Lang. Syst., 16(4):1117\u20131155, 1994.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"11_CR14","volume-title":"Technical Report MIP-9716","author":"J. Knoop","year":"1997","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Code Motion and Code Placement: Just Synonyms? Technical Report MIP-9716, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, Germany, 1997."},{"issue":"2","key":"11_CR15","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. Global optimization by suppression of partial redundancies. Comm. ACM, 22(2):96\u2013103, 1979.","journal-title":"Comm. ACM"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/512950.512961","volume-title":"(POPL'77)","author":"J. H. Reif","year":"1977","unstructured":"J. H. Reif and R. Lewis. Symbolic evaluation and the global value graph. In Conf. Rec. 4th Symp. Principles of Prog. Lang. (POPL'77), pages 104\u2013118. ACM, NY, 1977."},{"key":"11_CR17","first-page":"2","volume-title":"(POPL'88)","author":"B. K. Rosen","year":"1988","unstructured":"B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Global value numbers and redundant computations. In Conf. Rec. 15th Symp. Principles of Prog. Lang. (POPL'88), pages 2\u201327. ACM, NY, 1988."},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/69558.214513","volume":"11","author":"A. Sorkin","year":"1989","unstructured":"A. Sorkin. Some comments on a solution to a problem with Morel and Renvoise's\u201cGlobal optimization by suppression of partial redundancies\u201d. ACM Trans. Prog. Lang. Syst., 11(4):666\u2013668, 1989. Tech. Corr.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"B. Steffen. Property-oriented expansion. In Proc. 3rd Stat Analysis Symp. (SAS'96), LNCS 1145, pages 22\u201341. Springer-V., 1996.","DOI":"10.1007\/3-540-61739-6_31"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"B. Steffen, J. Knoop, and O. R\u00fcthing. The value flow graph: A program representation for optimal program transformations. In Proc. 3rd Europ. Symp. Programming (ESOP'90), LNCS 432, pages 389\u2013405. Springer-V., 1990.","DOI":"10.1007\/3-540-52592-0_76"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"B. Steffen, J. Knoop, and O. R\u00fcthing. Efficient code motion and an adaption to strength reduction. In Proc. 4th Int. Conf. Theory and Practice of Software Development (TAPSOFT'91), LNCS 494, pages 394\u2013415. Springer-V., 1991.","DOI":"10.1007\/3540539816_78"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:34:30Z","timestamp":1555655670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0053569","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}