{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T19:10:39Z","timestamp":1790104239528,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540644729","type":"print"},{"value":"9783540697886","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0032687","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T09:59:57Z","timestamp":1133431197000},"page":"114-130","source":"Crossref","is-referenced-by-count":18,"title":["Concurrent static single assignment form and constant propagation for explicitly parallel programs"],"prefix":"10.1007","author":[{"given":"Jaejin","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samuel P.","family":"Midkiff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David A.","family":"Padua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"8_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986."},{"issue":"6","key":"8_CR2","doi-asserted-by":"crossref","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"M. M. Brandis","year":"1994","unstructured":"Mark M. Brandis and Hanspeter M\u00f6ssenb\u00f6ek. Single-pass generation of static single assignment form for structured languages. ACM Transactions on Programming Language and Systems, 16(6):1684\u20131698, 1994.","journal-title":"ACM Transactions on Programming Language and Systems"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Preston Briggs and Keith D. Cooper. Effective partial redundancy elimination. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 159\u2013170, June 1994.","DOI":"10.1145\/178243.178257"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"David Callahan and Jaspal Subhlok. Static analysis of low-level synchronization. In Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, pages 100\u2013111, May 1988.","DOI":"10.1145\/68210.69225"},{"issue":"4","key":"8_CR5","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, and Mark N. Wegman. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, October 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Perry A. Emrath, Sanjoy Ghosh, and David A. Padua. Event synchronization analysis for debugging parallel programs. In Proceedings of Supercomputing '89, pages 580\u2013588, 1989.","DOI":"10.1145\/76263.76329"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Perry A. Emrath, Sanjoy Ghosh, and David A. Padua. Detecting nondeterminacy in parallel programs. IEEE Software, pages 69\u201377, January 1992.","DOI":"10.1109\/52.108783"},{"issue":"1","key":"8_CR8","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/200994.201003","volume":"17","author":"M. P. Gerlek","year":"1995","unstructured":"Michael P. Gerlek, Eric Stoltz, and Michael Wolfe. Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA form. ACM Transactions on Programming Languages and Systems, 17(1):85\u2013122, January 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR9","unstructured":"Jaejin Lee, Samuel P. Midkiff, and David A. Padua. Concurrent staticsingle assignment form and concurrent sparse conditional constant propagation for explicitly parallel programs. Technical Report TR#1525, CSRD, University of Illinois at Urbana-Champaign, July 1997."},{"key":"8_CR10","unstructured":"S. P. Midkiff and D. A. Padua. Issues in the optimization of parallel programs. In Proceedings of the 1990 International Conference on Parallel Processing, Val. II Software, pages 105\u2013113, August 1990."},{"key":"8_CR11","unstructured":"Robert H. B. Netzer and Barton P. Miller. On the complexity of event ordering for shared memory parallel program executions. In Proceedings of the 1990 International Conference on Parallel Processing, Vol. II Software, pages 93\u2013104, August 1990."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Gloabal value numbers and redundant computations. In Conference Record of the Fifteenth ACM Symposium on Principles of Programming Laguages, pages 12\u201327, January 1988.","DOI":"10.1145\/73560.73562"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Vivek Sarkar. Analysis and optimization of explicitly parallel programs using the parallel program graph representation. In The Tenth Annual Workshop on Languages and Compilers for Parallel Computing, August 1997.","DOI":"10.1007\/BFb0032686"},{"key":"8_CR14","unstructured":"Vivek Sarkar and Barbara Simons. Parallel program graphs and their classification. In Utpal Banerjee, David Gelernter, Alex Nicolau, and David Padua, editors, The Sixth Annual Workshop on Languages and Compilers for Parallel Computing, volume 768 of Lecture Notes in Computer Science. Springer-Verlag, August 1993."},{"key":"8_CR15","unstructured":"Harini Srinivasan and Dirk Grunwald. An efficient construction of parallel static single assignment form for structured parallel programs. Technical Report CUCS-564-91, University of Colorado at Boulder, December 1991."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Harini Srinivasan, James Hook, and Michael Wolfe. Static single assignment for explicitly parallel programs. In Proceedings of the 20th ACM Symposium on Principles of Programming Languages, pages 260\u2013272, January 1993.","DOI":"10.1145\/158511.158644"},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M. N. Wegman","year":"1991","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.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Michael Wolfe and Harini Srinivasan. Data structures for optimizing programs with explicit parallelism. In Proceeedings of the First International Conference of the Austrian Center for Parallel Computation, September 1991.","DOI":"10.1007\/3-540-55437-8_77"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:35:08Z","timestamp":1586594108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644729","9783540697886"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0032687","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}