{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:33:31Z","timestamp":1725485611923},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_3","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T23:02:49Z","timestamp":1181170969000},"page":"33-56","source":"Crossref","is-referenced-by-count":11,"title":["Enabling Sparse Constant Propagation of Array Elements via Array SSA Form"],"prefix":"10.1007","author":[{"given":"Vivek","family":"Sarkar","sequence":"first","affiliation":[]},{"given":"Kathleen","family":"Knobe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"3_CR1","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Cliff Click and Keith D. Cooper. Combining Analyses, Combining Optimizations. ACM Transactions on Programming Languages and Systems, 17(2):181\u2013196, March 1995.","DOI":"10.1145\/201059.201061"},{"key":"3_CR3","unstructured":"The Standard Performance Evaluation Corporation. SPEC CPU95 Benchmarks. http:\/\/open.specbench.org\/osg\/cpu95\/ , 1997."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, October 1991.","DOI":"10.1145\/115372.115320"},{"key":"3_CR5","unstructured":"Matthew S. Hecht. Flow Analysis of Computer Programs. Elsevier North-Holland, Inc., 1977."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Kathleen Knobe and Vivek Sarkar. Array SSA form and its use in Parallelization. Conf. Rec. Twenty-fifth ACM Symposium on Principles of Programming Languages, San Diego, California, January 1998.","DOI":"10.1145\/268946.268956"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/TSE.1975.6312852","volume":"1","author":"B. Wegbreit","year":"1975","unstructured":"B. Wegbreit. Property Extraction in Well-Founded Property Sets. IEEE Transactions on Software Engineering, 1:270\u2013285, 1975.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Mark N. Wegman and F. Kenneth Zadeck. Constant Propagation with Conditional Branches. ACM Transactions on Programming Languages and Systems, 13(2):181\u2013210, April 1991.","DOI":"10.1145\/103135.103136"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:46:08Z","timestamp":1556466368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}