{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:08Z","timestamp":1725664868934},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610533"},{"type":"electronic","value":"9783540499398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:24Z","timestamp":1330290804000},"page":"223-237","source":"Crossref","is-referenced-by-count":2,"title":["Incremental computation of static single assignment form"],"prefix":"10.1007","author":[{"given":"Jong -Deok","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edith","family":"Schonberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Frances Allen, Michael Burke, Philippe Charles, Ron Cytron, and Jeanne Ferrante. An overview of the ptran analysis system for multiprocessing. Proceedings of the ACM 1987 International Conference on Supercomputing, 1987. Also published in The Journal of Parallel and Distributed Computing, Oct., 1988, 5(5) pages 617\u2013640.","DOI":"10.1016\/0743-7315(88)90015-9"},{"key":"16_CR2","unstructured":"Frances Alien and John Cocke. A catalogue of optimizing transformation. Design and Optimization of Compilers, pages 1\u201330, 1972."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Bowen Alpern, Mark N. Wegman, and F. Kenneth Zadeck. Detecting equality of variables in programs. Fifteenth ACM Principles of Programming Languages Symposium, pages 1\u201311, January 1988. San Diego, CA.","DOI":"10.1145\/73560.73561"},{"issue":"7","key":"16_CR4","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/32.56098","volume":"16","author":"M.G. Burke","year":"1990","unstructured":"M.G. Burke and B.G. Ryder. A critical analysis of incremental iterative data flow analysis algorithms. IEEE Transactions on Software Engineering, 16(7):723\u2013728, July 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"16_CR5","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/78969.78963","volume":"12","author":"M. Burke","year":"1990","unstructured":"Michael Burke. An interval-based approach to exhaustive and incremental interprocedural data-flow analysis. ACM Transactions on Programming Languages and Systems, 12(3):341\u2013395, July 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante. Automatic construction of sparse data flow evaluation graphs. Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, January 1991.","DOI":"10.1145\/99583.99594"},{"key":"16_CR7","unstructured":"Ron Cytron. private communication."},{"key":"16_CR8","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, October 1991.","DOI":"10.1145\/115372.115320"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Ron Cytron and Reid Gershbein. Efficiently accommodating may-alias information in ssa form. Proceedings of the ACM Conference on Programming Language Design and Implementation, 1993.","DOI":"10.1145\/155090.155094"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-662-01089-1_1","volume":"50","author":"R. Giegerich","year":"1981","unstructured":"Robert Giegerich, Ulrich Moencke, and Reinhard Wilhelm. Invariance of approximative semantics with respect to program transformation, 11th GI Annual Conference, Informatik-Fachberichte 50, pages 1\u201310, October 1981.","journal-title":"Informatik-Fachberichte"},{"issue":"3","key":"16_CR11","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/152388.152389","volume":"2","author":"W. G. Griswold","year":"1993","unstructured":"William G. Griswold and David Notkin. Automated Assistance for Program Restructuring. ACM Transactions on Software Engineering and Methodology, 2(3):228\u2013269, July 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"T. J. Marlowe and B. Ryder. An efficient hybrid algorithm for incremental data flow analysis. ACM SIGPLAN Symp. on Principles of Programming Language, pages 184\u2013196, January 1990.","DOI":"10.1145\/96709.96728"},{"key":"16_CR13","unstructured":"Thomas J. Marlowe. Data Flow Analysis and Incremental Iteration. PhD thesis, Rutgers University, October 1989."},{"issue":"12","key":"16_CR14","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. A. Padua","year":"1986","unstructured":"David A. Padua and Michael J. Wolfe. Advanced compiler optimizations for supercomputers. Communications of the ACM, 29(12):1184\u20131201, December 1986.","journal-title":"Communications of the ACM"},{"key":"16_CR15","unstructured":"Barbara G. Ryder and Martin D. Carroll. Incrementally updating the dominator tree of a rooted diagraph. Technical report, Rutgers U., December 1986. Center for Computer Aids for Industrial Productivity Technical Report CAIP-TR-029."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Vivek Sarkar. The ptran parallel programming system. Parallel Functional Programming Languages and Compilers, pages 309\u2013391, 1991.","DOI":"10.1145\/107214.129260"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Vivek Sarkar and Radhika Thekkath. A general framework for iteration-reordering loop transformations. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 175\u2013187, June 1992.","DOI":"10.1145\/143095.143132"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Vugranam C. Sreedhar and Guang R. Gao. A linear time algorithm for placing \u03c6-nodes. In 22nd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 62\u201373, January 1995.","DOI":"10.1145\/199448.199464"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Mark Wegman and Ken Zadeck. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, pages 181\u2013210, April 1991.","DOI":"10.1145\/103135.103136"},{"key":"16_CR20","volume-title":"Optimizing Supercompilers for Supercomputers","author":"M. J. Wolfe","year":"1989","unstructured":"Michael J. Wolfe. Optimizing Supercompilers for Supercomputers. Pitman, London and The MIT Press, Cambridge, Massachusetts, 1989."},{"key":"16_CR21","series-title":"Computer Sciences Technical Report Number 840","volume-title":"Technical report","author":"W. Yang","year":"1989","unstructured":"Wuu Yang, Susan Horwitz, and Thomas Reps. Detecting program components with equivalent behaviors. Technical report, University of Wisconsin, Madison, April 1989. Computer Sciences Technical Report Number 840."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:29:06Z","timestamp":1619573346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}