{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:36:50Z","timestamp":1775054210523,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370502","type":"print"},{"value":"9783642370519","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37051-9_6","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:35:47Z","timestamp":1361216147000},"page":"102-122","source":"Crossref","is-referenced-by-count":28,"title":["Simple and Efficient Construction of Static Single Assignment Form"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Braun","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Buchwald","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Hack","sequence":"additional","affiliation":[]},{"given":"Roland","family":"Lei\u00dfa","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Mallon","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Zwinkau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"libFirm \u2013 The FIRM intermediate representation library, \n                    \n                      http:\/\/libfirm.org"},{"key":"6_CR2","unstructured":"The LLVM compiler infrastructure project, \n                    \n                      http:\/\/llvm.org"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/278283.278285","volume":"33","author":"A.W. Appel","year":"1998","unstructured":"Appel, A.W.: SSA is functional programming. SIGPLAN Notices\u00a033(4), 17\u201320 (1998)","journal-title":"SIGPLAN Notices"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-46423-9_8","volume-title":"Compiler Construction","author":"J. Aycock","year":"2000","unstructured":"Aycock, J., Horspool, N.: Simple Generation of Static Single-Assignment Form. In: Watt, D.A. (ed.) CC 2000. LNCS, vol.\u00a01781, pp. 110\u2013125. Springer, Heidelberg (2000)"},{"issue":"6","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"M.M. Brandis","year":"1994","unstructured":"Brandis, M.M., M\u00f6ssenb\u00f6ck, H.: Single-pass generation of static single-assignment form for structured languages. ACM Trans. Program. Lang. Syst.\u00a016(6), 1684\u20131698 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"8","key":"6_CR6","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1002\/(SICI)1097-024X(19980710)28:8<859::AID-SPE188>3.0.CO;2-8","volume":"28","author":"P. Briggs","year":"1998","unstructured":"Briggs, P., Cooper, K.D., Harvey, T.J., Simpson, L.T.: Practical improvements to the construction and destruction of static single assignment form. Softw. Pract. Exper.\u00a028(8), 859\u2013881 (1998)","journal-title":"Softw. Pract. Exper."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/99583.99594","volume-title":"Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1991","author":"J.D. Choi","year":"1991","unstructured":"Choi, J.D., Cytron, R., Ferrante, J.: Automatic construction of sparse data flow evaluation graphs. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1991, pp. 55\u201366. ACM, New York (1991)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/202529.202534","volume-title":"Papers from the 1995 ACM SIGPLAN Workshop on Intermediate Representations, IR 1995","author":"C. Click","year":"1995","unstructured":"Click, C., Paleczny, M.: A simple graph-based intermediate representation. In: Papers from the 1995 ACM SIGPLAN Workshop on Intermediate Representations, IR 1995, pp. 35\u201349. ACM, New York (1995)"},{"key":"6_CR9","unstructured":"Cocke, J.: Programming languages and their compilers: Preliminary notes. Courant Institute of Mathematical Sciences, New York University (1969)"},{"issue":"4","key":"6_CR10","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. TOPLAS\u00a013(4), 451\u2013490 (1991)","journal-title":"TOPLAS"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1137\/0205044","volume":"5","author":"K.P. Eswaran","year":"1976","unstructured":"Eswaran, K.P., Tarjan, R.E.: Augmentation problems. SIAM J. Comput.\u00a05(4), 653\u2013665 (1976)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/321832.321835","volume":"21","author":"M.S. Hecht","year":"1974","unstructured":"Hecht, M.S., Ullman, J.D.: Characterizations of reducible flow graphs. J. ACM\u00a021(3), 367\u2013375 (1974)","journal-title":"J. ACM"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/202530.202532","volume":"30","author":"R.A. Kelsey","year":"1995","unstructured":"Kelsey, R.A.: A correspondence between continuation passing style and static single assignment form. SIGPLAN Not.\u00a030, 13\u201322 (1995)","journal-title":"SIGPLAN Not."},{"key":"6_CR14","first-page":"1","volume-title":"Symposium on JavaTM Virtual Machine Research and Technology Symposium, JVM 2001","author":"M. Paleczny","year":"2001","unstructured":"Paleczny, M., Vick, C., Click, C.: The Java HotSpotTMserver compiler. In: Symposium on JavaTM Virtual Machine Research and Technology Symposium, JVM 2001, pp. 1\u201312. USENIX Association, Berkeley (2001)"},{"key":"6_CR15","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, POPL 1988","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, POPL 1988, pp. 12\u201327. ACM Press, New York (1988)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/199448.199464","volume-title":"Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1995","author":"V.C. Sreedhar","year":"1995","unstructured":"Sreedhar, V.C., Gao, G.R.: A linear time algorithm for placing \u03c6-nodes. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1995, pp. 62\u201373. ACM, New York (1995)"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM Journal Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal Computing"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37051-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T08:45:45Z","timestamp":1557564345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37051-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370502","9783642370519"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37051-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}