{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:14:16Z","timestamp":1763507656993},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610533"},{"type":"electronic","value":"9783540499398"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_66","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:08Z","timestamp":1330290788000},"page":"253-267","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":60,"title":["Effective representation of aliases and indirect memory operations in SSA form"],"prefix":"10.1007","author":[{"given":"Fred","family":"Chow","sequence":"first","affiliation":[]},{"given":"Sun","family":"Chan","sequence":"additional","affiliation":[]},{"given":"Shin -Ming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Raymond","family":"Lo","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Streich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M. and Zadeck, K. Detecting Equality Of Variables in Programs. Conference Record of the 15th ACM Symposium on the Principles of Programming Languages, Jan. 1988.","DOI":"10.1145\/73560.73561"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Chase, D., Wegman, M. and Zadeck, K. Analysis of Pointers and Structures. Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, June 1990.","DOI":"10.1145\/93542.93585"},{"key":"18_CR3","unstructured":"Chow, F. \u201cA Portable Machine-independent Global Optimizer \u2014 Design and Measurements,\u201d Ph.D. Thesis and Technical Report 83\u2013254, Computer System Lab, Stanford University, Dec. 1983."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Click, C., Global Code Motion Global Value Numbering, Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation, June 1995.","DOI":"10.1145\/207110.207154"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Choi, J., Burke, M. and Carini, P. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. Conference Record of the 20th ACM Symposium on the Principles of Programming Languages, Jan. 1993.","DOI":"10.1145\/158511.158639"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Choi, J., Cytron, R. and Ferrante, J. On the Efficient Engineering of Ambitious Program Analysis. IEEE Transactions on Software Engineering, February 1994, pp. 105\u2013113.","DOI":"10.1109\/32.265631"},{"key":"18_CR7","unstructured":"Cocke, J. and Schwartz, J. Programming Languages and Their Compilers. Courant Institute of Mathematical Sciences, New York University, April 1970."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Cytron, R., Ferrante, J., Rosen B., Wegman, M. and Zadeck, K., Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, October 1991, pp. 451\u2013490.","DOI":"10.1145\/115372.115320"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Cytron, R. and Gershbein, R., Efficient Accomodation of May-alias Information in SSA Form, Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, June 1993.","DOI":"10.1145\/155090.155094"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Rosen, B., Wegman, M. and Zadeck K. Global Value Numbers and Redundant Computation. Conference Record of the 15th ACM Symposium on the Principles of Programming Languages, Jan. 1988.","DOI":"10.1145\/73560.73562"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Ruf, E. Context-Insensitive Alias Analysis Reconsidered. Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation, June 1995.","DOI":"10.1145\/207110.207112"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Steensgaard, B. Sparse Functional Stores for Imperative Programs. Proceedings of the SIGPLAN '95 Workshop on Intermediate Representations, Jan. 1995.","DOI":"10.1145\/202529.202536"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Wilson, B. and Lam, M. Efficient Context Sensitive Pointer Analysis for C Programs. Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation, June 1995.","DOI":"10.1145\/207110.207111"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Wegman, M. and Zadeck, K. Constant Propagation with Conditional Branches. ACM Transactions on Programming Languages and Systems, April 1991, pp. 181\u2013210.","DOI":"10.1145\/103135.103136"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Wolfe, M. Beyond induction variables. Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, June 1992.","DOI":"10.1145\/143095.143131"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:04:13Z","timestamp":1558267453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}