{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:30:01Z","timestamp":1725489001151},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666240"},{"type":"electronic","value":"9783540480921"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48092-7_13","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T13:01:46Z","timestamp":1186750906000},"page":"288-315","source":"Crossref","is-referenced-by-count":2,"title":["Optimization Under the Perspective of Soundness, Completeness, and Reusability"],"prefix":"10.1007","author":[{"given":"Jens","family":"Knoop","sequence":"first","affiliation":[]},{"given":"Oliver","family":"R\u00fcthing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"M. Auslander and M. Hopkins. An overview of the PL.8 compiler. In Proceedings of the ACM SIGPLAN Symposium on Compiler Construction (SCC\u201882) (Boston, Massachusetts), volume 17, 6 of ACM SIGPLAN Notices, pages 22\u201331, 1982.","DOI":"10.1145\/800230.806977"},{"key":"13_CR2","unstructured":"S. Benkner, S. Andel, R. Blasko, P. Brezany, A. Celic, B. M. Chapman, M. Egg, T. Fahringer, J. Hulman, E. Kelc, E. Mehofer, H. Moritsch, M. Paul, K. Sanjari, V. Sipkova, B. Velkov, B. Wender, and H. P. Zima. Vienna Fortran Compilation System-Version 1.2-User\u2019s Guide. Institute for Software Technology and Parallel Systems, University of Vienna, Vienna, Austria, 1996."},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P. Cousot","year":"1996","unstructured":"P. Cousot. Abstract interpretation. ACM Computing Surveys, 28(2):324\u2013328, 1996.","journal-title":"ACM Computing Surveys"},{"key":"13_CR4","first-page":"238","volume-title":"Conference Record of the 4th Annual Symposium on Principles of Programming Languages (POPL\u201877) (Los Angeles, California)","author":"P. Cousot","year":"1977","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th Annual Symposium on Principles of Programming Languages (POPL\u201877) (Los Angeles, California), pages 238\u2013252. ACM, New York, 1977."},{"key":"13_CR5","first-page":"269","volume-title":"Conference Record of the 6th Annual Symposium on Principles of Programming Languages (POPL\u201879)","author":"P. Cousot","year":"1979","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the 6th Annual Symposium on Principles of Programming Languages (POPL\u201879) (San Antonio, Texas), pages 269\u2013282. ACM, New York, 1979."},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"13_CR7","first-page":"29","volume":"28","author":"K.-H. Drechsler","year":"1993","unstructured":"K.-H. Drechsler and M. P. Stadel. A variation of Knoop, R\u00fcthing and Steffen\u2019s LAZY CODE MOTION. ACM SIGPLAN Notices, 28(5):29\u201338, 1993.","journal-title":"LAZY CODE MOTION"},{"key":"13_CR8","volume-title":"Flow Analysis of Computer Programs","author":"M. S. Hecht","year":"1977","unstructured":"M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, North-Holland, 1977."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J. B. Kam","year":"1977","unstructured":"J. B. Kam and J. D. Ullman. Monotone data flow analysis frameworks. Acta Informatica, 7:305\u2013317,1977.","journal-title":"Acta Informatica"},{"key":"13_CR10","first-page":"194","volume-title":"Conference Record of the 1st Annual Symposium on Principles of Programming Languages (POPL\u201873) (Boston, Massachusetts)","author":"G. A. Kildall","year":"1973","unstructured":"G. A. Kildall. A unified approach to global program optimization. In Conference Record of the 1st Annual Symposium on Principles of Programming Languages (POPL\u201873) (Boston, Massachusetts), pages 194\u2013206. ACM, New York, 1973."},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/3-540-61042-1_64","volume-title":"Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201896) (Passau, Germany)","author":"M. Klein","year":"1996","unstructured":"M. Klein, J. Knoop, D. Kosch\u00fctzki, and B. Steffen. DFA&OPT-MetaFrame: A tool kit for program analysis and optimization. In Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201896) (Passau, Germany), Lecture Notes in Computer Science, vol. 1055, pages 422\u2013426. Springer-Verlag, Heidelberg, Germany, 1996."},{"issue":"1-2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0304-3975(97)00208-9","volume":"196","author":"J. Knoop","year":"1998","unstructured":"J. Knoop. Eliminating partially dead code in explicitly parallel programs. Theoretical Computer Science, 196(1-2):365\u2013393, 1998. (Special issue devoted to Euro-Par\u201896).","journal-title":"Theoretical Computer Science"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"J. Knoop. Formal callability and its relevance and application to interprocedural data-flow analysis. In Proceedings of the 6th IEEE Computer Society 1998 International Conference on Computer Languages (ICCL\u201898) (Chicago, Illinois), pages 252\u2013261. IEEE Computer Society, Los Alamitos, 1998.","DOI":"10.1109\/ICCL.1998.674175"},{"key":"13_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49639-4","volume-title":"Optimal Interprocedural Program Optimization: A new Framework and its Application","author":"J. Knoop","year":"1998","unstructured":"J. Knoop. Optimal Interprocedural Program Optimization: A new Framework and its Application. PhD thesis. University of Kiel, Germany, 1993. Lecture Notes in Computer Science Tutorial, vol. 1428, Springer-Verlag, Heidelberg, Germany, 1998."},{"key":"13_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/3-540-49059-0_25","volume-title":"Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201899)","author":"J. Knoop","year":"1999","unstructured":"J. Knoop. From DFA-frameworks to DFA-generators: A unifying multiparadigm approach. In Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201899) (Amsterdam, The Netherlands), Lecture Notes in Computer Science, vol. 1579, pages 360\u2013374. Springer-Verlag, Heidelberg, Germany, 1999."},{"key":"13_CR16","unstructured":"J. Knoop and W. Golubski. Abstract interpretation: A uniform framework for type analysis and classical optimization of object-oriented programs. In Proceedings of the 1st International Symposium on Object-Oriented Technology \u201cThe White OO Nights\u201d (WOON\u201896) (St. Petersburg, Russia), pages 126\u2013142, 1996."},{"key":"13_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BFb0026423","volume-title":"Proceedings of the 7th International Conference on Compiler Construction (CC\u201898) (Lisbon, Portugal)","author":"J. K. Noop","year":"1998","unstructured":"J. K noop, D. Kosch\u00fctzki, and B. Steffen. Basic-block graphs: Living dinosaurs? In Proceedings of the 7th International Conference on Compiler Construction (CC\u201898) (Lisbon, Portugal), Lecture Notes in Computer Science, vol. 1383, pages 65\u201379. Springer-Verlag, Heidelberg, Germany, 1998."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"J. Knoop and E. Mehofer. Interprocedural distribution assignment placement: More than just enhancing intraprocedural placing techniques. In Proceedings of the 5th IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT\u201897) (San Francisco, California), pages 26\u201337. IEEE Computer Society, Los Alamitos, 1997.","DOI":"10.1109\/PACT.1997.644001"},{"key":"13_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0002758","volume-title":"Proceedings of the 3rd European Conference on Parallel Processing (Euro-Par\u201897) (Passau, Germany)","author":"J. Knoop","year":"1997","unstructured":"J. Knoop and E. Mehofer. Optimal distribution assignment placement. In Proceedings of the 3rd European Conference on Parallel Processing (Euro-Par\u201897) (Passau, Germany), Lecture Notes in Computer Science, vol. 1300, pages 364\u2013373. Springer-Verlag, Heidelberg, Germany, 1997."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Lazy code motion. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201892) (San Francisco, California), volume 27,7 of ACM SIGPLAN Notices, pages 224\u2013234, 1992.","DOI":"10.1145\/143095.143136"},{"issue":"4","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J. Knoop","year":"1994","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Optimal code motion: Theory and practice. ACM Transactions on Programming Languages and Systems, 16(4):1117\u20131155, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Partial dead code elimination. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201894) (Orlando, Florida), volume 29,6 of ACM SIGPLAN Notices, pages 147\u2013158, 1994.","DOI":"10.1145\/178243.178256"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/207110.207150","volume":"30","author":"J. Knoop","year":"1995","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. The power of assignment motion. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201895) (La Jolla, California), volume 30,6 of ACM SIGPLAN Notices, pages 233\u2013245, 1995.","journal-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201895) (La Jolla, California)"},{"issue":"4","key":"13_CR24","first-page":"211","volume":"4","author":"J. Knoop","year":"1996","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Towards a tool kit for the automatic generation of interprocedural data flow analyses. Journal of Programming Languages, 4(4):211\u2013246, 1996.","journal-title":"Journal of Programming Languages"},{"key":"13_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/BFb0053569","volume-title":"Proceedings of the 7th European Symposium on Programming (ESOP\u201898) (Lisbon, Portugal)","author":"J. Knoop","year":"1998","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Code motion and code placement: Just synomyms? In Proceedings of the 7th European Symposium on Programming (ESOP\u201898) (Lisbon, Portugal), Lecture Notes in Computer Science, vol. 1381, pages 154\u2013169. Springer-Verlag, Heidelberg, Germany, 1998."},{"key":"13_CR26","unstructured":"J. Knoop and F. Schreiber. Analysing and optimizing strongly typed objectoriented languages: A generic approach and its application to Oberon-2. In Proceedings of the 2nd International Symposium on Object-Oriented Technology \u201cThe White OO Nights\u2605#x201D; (WOON\u201897) (St. Petersburg, Russia), pages 252\u2013266, 1997."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"J. Knoop and B. Steffen. Code motion for explicitly parallel programs. In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP\u201899) (Atlanta, Georgia), pages 13\u201314, 1999.","DOI":"10.1145\/301104.301106"},{"key":"13_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-55984-1_13","volume-title":"Proceedings of the 4th International Conference on Compiler Construction (CC\u201892)","author":"J. Knoop","year":"1992","unstructured":"J. Knoop and B. Steffen. The interprocedural coincidence theorem. In Proceedings of the 4th International Conference on Compiler Construction (CC\u201892) (Paderborn, Germany), Lecture Notes in Computer Science, vol. 641, pages 125\u2013140. Springer-Verlag, Heidelberg, Germany, 1992."},{"key":"13_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/3-540-60630-0_13","volume-title":"Proceedings of the 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201895) (Aarhus, Denmark)","author":"J. Knoop","year":"1995","unstructured":"J. Knoop, B. Steffen, and J. Vollmer. Parallelism for free: Bitvector analyses \u2192 No state explosion! In Proceedings of the 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201895) (Aarhus, Denmark), Lecture Notes in Computer Science, vol. 1019, pages 264\u2013289. Springer-Verlag, Heidelberg, Germany, 1995."},{"issue":"3","key":"13_CR30","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/229542.229545","volume":"18","author":"J. Knoop","year":"1996","unstructured":"J. Knoop, B. Steffen, and J. Vollmer. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs. ACM Transactions on Programming Languages and Systems, 18(3):268\u2013299, 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF01178576","volume":"30","author":"K. Marriot","year":"1993","unstructured":"K. Marriot. Frameworks for abstract interpretation. Acta Informatica, 30:103\u2013129, 1993.","journal-title":"Acta Informatica"},{"issue":"2","key":"13_CR32","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"E. Morel and C. Renvoise. Global optimization by suppression of partial redundancies. Communications of the ACM, 22(2):96\u2013103, 1979.","journal-title":"Communications of the ACM"},{"key":"13_CR33","first-page":"160","volume-title":"Program Flow Analysis: Theory and Applications","author":"E. Morel","year":"1981","unstructured":"E. Morel and C. Renvoise. Interprocedural elimination of partial redundancies. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 160\u2013188. Prentice Hall, Englewood Cliffs, New Jersey, 1981."},{"key":"13_CR34","unstructured":"R. Morgan. Building an Optimizing Compiler. Digital Press, 1998."},{"key":"13_CR35","unstructured":"S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco, California, 1997."},{"volume-title":"Program Flow Analysis: Theory and Applications","year":"1981","key":"13_CR36","unstructured":"S. S. Muchnick and N. D. Jones, editors. Program Flow Analysis: Theory and Applications. Prentice Hall, Englewood Cliffs, New Jersey, 1981."},{"key":"13_CR37","first-page":"31","volume":"2","author":"F. Nielson","year":"1986","unstructured":"F. Nielson. A bibliography on abstract interpretations. ACM SIGPLAN Notices, 21:31\u201338, 1986.","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR38","unstructured":"J. Palsberg and M. I. Schwartzbach. Object-oriented Type Systems. John Wiley & Sons, 1994."},{"issue":"2","key":"13_CR39","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/234528.234750","volume":"28","author":"J. Palsberg","year":"1996","unstructured":"Jens Palsberg. Type inference for objects. ACM Computing Surveys, 28(2):358\u2013359, June 1996.","journal-title":"ACM Computing Surveys"},{"key":"13_CR40","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-49209-7","volume-title":"Proceedings of the 5th Static Analysis Symposium (SAS\u201898) (Pisa, Italy)","author":"O. R\u00fcthing","year":"1998","unstructured":"O. R\u00fcthing. Bidirectional data flow analysis in code motion: Myth and reality. In Proceedings of the 5th Static Analysis Symposium (SAS\u201898) (Pisa, Italy), Lecture Notes in Computer Science, vol. 1503, pages 1\u201316. Springer-Verlag, Heidelberg, Germany, 1998."},{"key":"13_CR41","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49209-7","volume-title":"PhD thesis. University of Kiel","author":"O. R\u00fcthing","year":"1998","unstructured":"O. R\u00fcthing. Interacting Code Motion Transformations: Their Impact and Their Complexity. PhD thesis. University of Kiel, Germany, 1997. Lecture Notes in Computer Science, vol. 1539, Springer-Verlag, Heidelberg, Germany, 1998."},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"O. R\u00fcthing. Optimal code motion in the presence of large expressions. In Proceedings of the 6th IEEE Computer Society 1998 International Conference on Computer Languages (ICCL\u201898) (Chicago, Illinois), pages 216\u2013225. IEEE Computer Society, Los Alamitos, 1998.","DOI":"10.1109\/ICCL.1998.674172"},{"key":"13_CR43","unstructured":"O. R\u00fcuthing, J. Knoop, and B. Steffen. Sparse code motion. Technical Report 712\/1999, Department of Computer Science, University of Dortmund, Germany, 1999."},{"key":"13_CR44","first-page":"189","volume-title":"Program Flow Analysis: Theory and Applications","author":"M. Sharir","year":"1981","unstructured":"M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189\u2013233. Prentice Hall, Englewood Cliffs, New Jersey, 1981."},{"key":"13_CR45","unstructured":"VFCS\/VFC Homepage. Institute for Softwaretechnology and Parallel Systems, University of Vienna, Austria, \n                    http:\/\/www.par.univie.ac.at\/research\/langcomp\/ lang-comp.html\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48092-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:40:34Z","timestamp":1550724034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48092-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666240","9783540480921"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-48092-7_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}