{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:38:59Z","timestamp":1742380739007},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280095"},{"type":"electronic","value":"9783540318132"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11532378_29","type":"book-chapter","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T19:16:36Z","timestamp":1279653396000},"page":"409-423","source":"Crossref","is-referenced-by-count":5,"title":["Partial Value Number Redundancy Elimination"],"prefix":"10.1007","author":[{"given":"Rei","family":"Odaira","sequence":"first","affiliation":[]},{"given":"Kei","family":"Hiraki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/143103.143136","volume":"27","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Lazy code motion. ACM SIGPLAN Notices\u00a027, 224\u2013234 (1992)","journal-title":"ACM SIGPLAN Notices"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Bodik, R., Gupta, R., Soffa, M.L.: Complete removal of redundant expressions. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 1\u201314 (1998)","DOI":"10.1145\/277650.277653"},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/773473.178257","volume":"29","author":"P. Briggs","year":"1994","unstructured":"Briggs, P., Cooper, K.D.: Effective partial redundancy elimination. ACM SIGPLAN Notices\u00a029, 159\u2013170 (1994)","journal-title":"ACM SIGPLAN Notices"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Bodik, R., Anik, S.: Path-sensitive value-flow analysis. In: Symposium on Principles of Programming Languages, pp. 237\u2013251 (1998)","DOI":"10.1145\/268946.268966"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, pp. 1\u201311 (1988)","DOI":"10.1145\/73560.73561"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/223428.207154","volume":"30","author":"C. Click","year":"1995","unstructured":"Click, C.: Global code motion: global value numbering. ACM SIGPLAN Notices\u00a030, 246\u2013257 (1995)","journal-title":"ACM SIGPLAN Notices"},{"key":"29_CR7","unstructured":"Cooper, K., Simpson, T.: Value-driven code motion. Technical report, CRPC-TR95637-S, Rice University (1995)"},{"key":"29_CR8","volume-title":"Advanced Compiler Design & Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers, San Francisco (1997)"},{"key":"29_CR9","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 Transactions on Programming Languages and Systems\u00a013, 451\u2013490 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/73560.73562","volume-title":"Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"B.K. Rosen","year":"1988","unstructured":"Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Global value numbers and redundant computations. In: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 12\u201327. ACM Press, New York (1988)"},{"key":"29_CR11","unstructured":"Odaira, R., Kei, H.: Partial value number redundancy elimination. Technical report, TR 04-01, University of Tokyo (2004), \n                  \n                    http:\/\/www-hiraki.is.s.u-tokyo.ac.jp\/members\/ray\/pvnre_tr.ps.gz"},{"key":"29_CR12","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-52592-0_76","volume-title":"ESOP '90","author":"Bernhard Steffen","year":"1990","unstructured":"Steffen, B., Knoop, J., R\u00fcthing, O.: The value flow graph: A program representation for optimal program transformations. In: European Symposium on Programming, pp. 389\u2013405 (1990)"},{"key":"29_CR13","unstructured":"Kaffe.org: (Kaffe Open VM), \n                  \n                    http:\/\/www.kaffe.org\/"},{"key":"29_CR14","unstructured":"Standard Performance Evaluation Corporation: (SPEC JVM98 Benchmarks), \n                  \n                    http:\/\/www.spec.org\/osg\/jvm98\/"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/258915.258940","volume-title":"Proceedings of the 1997 ACM SIGPLAN conference on Programming language design and implementation","author":"F. Chow","year":"1997","unstructured":"Chow, F., Chan, S., Kennedy, R., Liu, S.M., Lo, R., Tu, P.: A new algorithm for partial redundancy elimination based on ssa form. In: Proceedings of the 1997 ACM SIGPLAN conference on Programming language design and implementation, pp. 273\u2013286. ACM Press, New York (1997)"},{"key":"29_CR16","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-48294-6_15","volume-title":"Static Analysis","author":"Oliver R\u00fcthing","year":"1999","unstructured":"R\u00fcthing, O., Knoop, J., Steffen, B.: Detecting equalities of variables: Combining efficiency with precision. In: Static Analysis Symposium, pp. 232\u2013247 (1999)"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-24723-4_12","volume-title":"Compiler Construction","author":"T. Drunen Van","year":"2004","unstructured":"VanDrunen, T., Hosking, A.L.: Value-based partial redundancy elimination. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 167\u2013184. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for High Performance Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11532378_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:03Z","timestamp":1619506263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11532378_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280095","9783540318132"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11532378_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}