{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:53Z","timestamp":1725664613844},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616269"},{"type":"electronic","value":"9783540706335"}],"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-61626-8_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:06:06Z","timestamp":1330293966000},"page":"441-450","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Partial dead code elimination for parallel programs"],"prefix":"10.1007","author":[{"given":"Jens","family":"Knoop","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"2","key":"59_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/5.214548","volume":"81","author":"U. Banerjee","year":"1993","unstructured":"Banerjee, U., Eigenmann, R., Nicola, A., and Padua, D. A. Automatic program parallelization. In Proc. IEEE 81(2), 1993, 211\u2013243.","journal-title":"Proc. IEEE"},{"key":"59_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conf. Rec. 4\n\n                  th\n                \nInt. Symp. Princ. Prog. Lang. (POPL'77), 1977, 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"59_CR3","doi-asserted-by":"crossref","unstructured":"Feigen, L., Klappholz, D., Casazza, R., and Xue, X. The revival transformation. In Conf. Rec. 21\n\n                  st\n                \nSymp. Princ. Prog. Lang. (POPL'94), 1994, 421\u2013434.","DOI":"10.1145\/174675.178043"},{"key":"59_CR4","first-page":"315","volume":"966","author":"M. Griebl","year":"1995","unstructured":"Griebl, M., and Collard, J.-F. Generation of synchronous code for automatic parallelization. In Proc. 1\n\n                  st\n                \nEurop. Conf. Parallel Process. (Euro-Par'95), Springer-V., LNCS 966 (1995), 315\u2013326.","journal-title":"Springer-V., LNCS"},{"key":"59_CR5","first-page":"106","volume":"1060","author":"A. Geser","year":"1996","unstructured":"Geser, A., Knoop, J., L\u00fcttgen, G., R\u00fcthing, O., and Steffen, B. Non-monotone fixpoint iterations to resolve second order effects. In Proc. 6\n\n                  th\n                \nInt. Conf. Comp. Constr. (CC'96), Springer-V., LNCS 1060 (1996), 106\u2013120.","journal-title":"Springer-V., LNCS"},{"key":"59_CR6","volume-title":"Flow analysis of computer programs","author":"M. S. Hecht","year":"1977","unstructured":"Hecht, M. S. Flow analysis of computer programs. Elsevier, North-Holland, 1977."},{"key":"59_CR7","first-page":"147","volume":"6","author":"J. Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., and Steffen, B. Partial dead code elimination. In Proc. ACM SIGPLAN'94 Conf. Prog. Lang. Design Impl. (PLDI'94), ACM SIGPLAN Not. 29, 6 (1994), 147\u2013158.","journal-title":"Proc. ACM SIGPLAN'94 Conf. Prog. Lang. Design Impl. (PLDI'94), ACM SIGPLAN Not. 29"},{"key":"59_CR8","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"4","author":"J. Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., and Steffen, B. Optimal code motion: Theory and practice. ACM Trans. Prag. Lang. Syst. 16, 4 (1994), 1117\u20131155.","journal-title":"ACM Trans. Prag. Lang. Syst. 16"},{"key":"59_CR9","first-page":"233","volume":"6","author":"J. Knoop","year":"1995","unstructured":"Knoop, J., R\u00fcthing, O., and Steffen, B. The power of assignment motion. In Proc. ACM SIGPLAN'95 Conf. Prog. Lang. Design Impl. (PLDI'95), SIGPLAN Not. 30, 6 (1995), 233\u2013245.","journal-title":"Proc. ACM SIGPLAN'95 Conf. Prog. Lang. Design Impl. (PLDI'95), SIGPLAN Not. 30"},{"key":"59_CR10","first-page":"125","volume":"641","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., and Steffen, B. The interprocedural coincidence theorem. In Proc. 4\n\n                  th\n                \nInt. Conf. Comp. Constr. (CC'92), Springer, LNCS 641 (1992), 125\u2013140.","journal-title":"Springer, LNCS"},{"key":"59_CR11","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/229542.229545","volume":"3","author":"J. Knoop","year":"1996","unstructured":"Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs. In ACM Trans. Prog. Lang. Syst. 18, 3 (1996), 268\u2013299.","journal-title":"ACM Trans. Prog. Lang. Syst. 18"},{"key":"59_CR12","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00290339","volume":"7","author":"J. B. Kam","year":"1977","unstructured":"Kam, J. B., and Ullman, J. D. Monotone data flow analysis frameworks. Acta Informatica 7, (1977), 309\u2013317.","journal-title":"Acta Informatica"},{"key":"59_CR13","first-page":"196","volume":"6","author":"A. Krishnamurthy","year":"1995","unstructured":"Krishnamurthy, A., and Yelick, K. Optimizing parallel programs with explicit synchronization. In Proc. ACM SIGPLAN'95 Conf. Prog. Lang. Design Impl. (PLDI'95), SIGPLAN Not. 30, 6 (1995), 196\u2013204.","journal-title":"Proc. ACM SIGPLAN'95 Conf. Prog. Lang. Design Impl. (PLDI'95), SIGPLAN Not. 30"},{"key":"59_CR14","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"9","author":"L. Lamport","year":"1979","unstructured":"Lamport, L. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (1979), 690\u2013691.","journal-title":"IEEE Trans. Comput. C-28"},{"key":"59_CR15","first-page":"398","volume":"715","author":"C. Lengauer","year":"1993","unstructured":"Lengauer, Ch. Loop parallelization in the polytope model. In Proc. 4\n\n                  th\n                \nInt. Conf. Conc. Theo. (CONCUR'93), Springer-V., LNCS 715 (1993), 398\u2013416.","journal-title":"Springer-V., LNCS"},{"key":"59_CR16","first-page":"105","volume":"II","author":"S. P. Midkiff","year":"1990","unstructured":"Midkiff, S. P., and Padua, D. A. Issues in the optimization of parallel programs. In Proc. Int. Conf. Parallel Processing, Volume II, St. Charles, Illinois, (1990), 105\u2013113.","journal-title":"Proc. Int. Conf. Parallel Processing"},{"key":"59_CR17","first-page":"405","volume":"589","author":"H. Srinivasan","year":"1991","unstructured":"Srinivasan, H., and Wolfe, M. Analyzing programs with explicit parallelism. In Proc. 4\n\n                  th\n                \nInt. Conf. on Lang. and Comp. for Parallel Computing (LCPC'91), Springer-V., LNCS 589 (1991), 405\u2013419.","journal-title":"Springer-V., LNCS"},{"key":"59_CR18","first-page":"139","volume":"591","author":"M Wolfe","year":"1991","unstructured":"Wolfe, M, and Srinivasan, H. Data structures for optimizing programs with explicit parallelism. In Proc. 1\n\n                  st\n                \nInt. Conf. Austrian Center for Parallel Computation, Springer-V., LNCS 591 (1991), 139\u2013156.","journal-title":"Springer-V., LNCS"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'96 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61626-8_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:26:08Z","timestamp":1587342368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61626-8_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616269","9783540706335"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61626-8_59","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":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}