{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:15:31Z","timestamp":1725567331819},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657170"},{"type":"electronic","value":"9783540490517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49051-7_7","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:36:53Z","timestamp":1286969813000},"page":"91-106","source":"Crossref","is-referenced-by-count":8,"title":["Expansion-Based Removal of Semantic Partial Redundancies"],"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","reference":[{"key":"7_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A.V. Aho","year":"1985","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1985)"},{"key":"7_CR2","first-page":"79","volume-title":"Program Flow Analysis: Theory and Applications, ch. 3","author":"F.E. Allen","year":"1981","unstructured":"Allen, F.E., Cocke, J., Kennedy, K.: Reduction of operator strength. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications, ch. 3, pp. 79\u2013101. Prentice Hall, Englewood Cliffs (1981)"},{"key":"7_CR3","first-page":"237","volume-title":"Conf. Rec. 25th Symp. on Principles of Programming Languages POPL 1998","author":"R. Bod\u00edk","year":"1998","unstructured":"Bod\u00edk, R., Anik, S.: Path-sensitive value-flow analysis. In: Conf. Rec. 25th Symp. on Principles of Programming Languages POPL 1998, pp. 237\u2013251. ACM, New York (1998)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bod\u00edk, R., Gupta, R., Soffa, M.-L.: Complete removal of redundant expressions. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl. PLDI 1998. ACM SIGPLAN Not., vol.\u00a033, pp. 1\u201314 (1998)","DOI":"10.1145\/277652.277653"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Click, C.: Global code motion\/global value numbering. In: Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl. PLDI 1995. ACM SIGPLAN Not., vol.\u00a030(6), pp. 246\u2013257 (1995)","DOI":"10.1145\/223428.207154"},{"issue":"11","key":"7_CR6","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/359863.359888","volume":"20","author":"J. Cocke","year":"1977","unstructured":"Cocke, J., Kennedy, K.: An algorithm for reduction of operator strength. Comm. ACM\u00a020(11), 850\u2013856 (1977)","journal-title":"Comm. ACM"},{"key":"7_CR7","unstructured":"Cocke, J., Schwartz, J.T.: Programming languages and their compilers. In: Courant Inst. Math. Sciences, NY (1970)"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst.\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J.B. Kam","year":"1977","unstructured":"Kam, J.B., Ullman, J.D.: Monotone data flow analysis frameworks. Acta Informatica\u00a07, 305\u2013317 (1977)","journal-title":"Acta Informatica"},{"key":"7_CR10","first-page":"194","volume-title":"Conf. Rec. 1st Symp. Principles of Prog. Lang. POPL 1973","author":"G.A. Kildall","year":"1973","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Conf. Rec. 1st Symp. Principles of Prog. Lang. POPL 1973, pp. 194\u2013206. ACM, New York (1973)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: The power of assignment motion. In: Proc. ACM SIGPLAN Conf. on Prog. Lang. Design and Impl. PLDI 1995. ACM SIGPLAN Not., vol.\u00a030(6), pp. 233\u2013245 (1995)","DOI":"10.1145\/223428.207150"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/BFb0053569","volume-title":"Programming Languages and Systems","author":"J. Knoop","year":"1998","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Code motion and code placement: Just synomyms? In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 154\u2013169. Springer, Heidelberg (1998)"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"Morel, E., Renvoise, C.: Global optimization by suppression of partial redundancies. Comm. ACM\u00a022(2), 96\u2013103 (1979)","journal-title":"Comm. ACM"},{"key":"7_CR14","first-page":"104","volume-title":"Conf. Rec. 4th Symp. Principles of Prog. Lang. POPL 1977","author":"J.H. Reif","year":"1977","unstructured":"Reif, J.H., Lewis, R.: Symbolic evaluation and the global value graph. In: Conf. Rec. 4th Symp. Principles of Prog. Lang. POPL 1977, pp. 104\u2013118. ACM, New York (1977)"},{"key":"7_CR15","first-page":"2","volume-title":"Conf. Rec. 15th Symp. Principles of Prog. Lang. POPL 1988","author":"B.K. Rosen","year":"1988","unstructured":"Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Global value numbers and redundant computations. In: Conf. Rec. 15th Symp. Principles of Prog. Lang. POPL 1988, pp. 2\u201327. ACM, New York (1988)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/3-540-17660-8_47","volume-title":"TAPSOFT \u201987 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987.","author":"B. Steffen","year":"1987","unstructured":"Steffen, B.: Optimal run time optimization - Proved by a new look at abstract interpretations. In: Ehrig, H., Levi, G., Montanari, U. (eds.) CAAP 1987 and TAPSOFT 1987. LNCS, vol.\u00a0249, pp. 52\u201368. Springer, Heidelberg (1987)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"B. Steffen","year":"1996","unstructured":"Steffen, B.: Property-oriented expansion. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145. Springer, Heidelberg (1996)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"ESOP 1990","author":"B. Steffen","year":"1990","unstructured":"Steffen, B., Knoop, J., R\u00fcthing, O.: The value flow graph: A program representation for optimal program transformations. In: Jones, N.D. (ed.) ESOP 1990. LNCS, vol.\u00a0432. Springer, Heidelberg (1990)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"B. Steffen","year":"1991","unstructured":"Steffen, B., Knoop, J., R\u00fcthing, O.: Efficient code motion and an adaption to strength reduction. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494. Springer, Heidelberg (1991)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Whitfield, D., Soffa, M.L.: An approach to ordering optimizing transformations. In: Proc. 2nd ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming PPOPP 1990. ACM SIGPLAN Not., vol.\u00a025(3), pp. 137\u2013147 (1990)","DOI":"10.1145\/99164.99179"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49051-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T15:48:23Z","timestamp":1553183303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49051-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657170","9783540490517"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49051-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}