{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:32:16Z","timestamp":1778297536302,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540610427","type":"print"},{"value":"9783540498742","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61042-1_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:11:44Z","timestamp":1330290704000},"page":"422-426","source":"Crossref","is-referenced-by-count":9,"title":["DFA&OPT-MetaFrame: A tool kit for program analysis and optimization"],"prefix":"10.1007","author":[{"given":"Marion","family":"Klein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Kosch\u00fctzki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Knoop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"31_CR1","series-title":"LNCS 983","first-page":"33","volume-title":"Proc. 2nd Internat. Static Analysis Symposium (SAS'95)","author":"M. Alt","year":"1995","unstructured":"Alt, M., and Martin, F. Generation of efficient interprocedural analyzers with PAG. In Proc. 2nd Internat. Static Analysis Symposium (SAS'95), Glasgow, UK, Springer-Verlag, LNCS 983 (1995), 33\u201350."},{"issue":"6","key":"31_CR2","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/502949.502885","volume":"19","author":"J. W. Davidson","year":"1984","unstructured":"Davidson, J. W., and Fraser, C. W. Automatic generation of peephole transformations. In Proc. ACM SIGPLAN'84 Symp. on Comp. Construct., Montreal, Canada, SIGPLAN Notices 19, 6 (1984), 111\u2013115.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"31_CR3","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/502949.502884","volume":"19","author":"R. R. Kessler","year":"1984","unstructured":"Kessler, R. R. Peep \u2014 An architectural description driven peephole transformer. In Proc. ACM SIGPLAN'84 Symp. on Comp. Construct., Montreal, Canada, SIGPLAN Notices 19, 6 (1984), 106\u2013110.","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"31_CR4","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J. Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., and Steffen, B. Optimal code motion: Theory and practice. Transactions on Programming Languages and Systems 16, 4 (1994), 1117\u20131155.","journal-title":"Transactions on Programming Languages and Systems"},{"issue":"6","key":"31_CR5","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/223428.207150","volume":"30","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. on Programming Language Design and Implementation (PLDI'95), La Jolla, California, SIGPLAN Notices 30, 6 (1995), 233\u2013245.","journal-title":"SIGPLAN Notices"},{"key":"31_CR6","first-page":"125","volume-title":"LNCS 641","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., and Steffen, B. The interprocedural coincidence theorem. In Proc. 4\n                \n                  th\n                \n                Internat. Conference on Compiler Construction (CC'92), Paderborn, Germany, Springer-Verlag, LNCS 641 (1992), 125\u2013140."},{"key":"31_CR7","unstructured":"Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs. Accepted for Transactions on Programming Languages and Systems."},{"key":"31_CR8","unstructured":"Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Bitvector analyses \u21d2 No state explosion! In Proc. 1\n                \n                  st\n                \n                Internat. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), Springer-Verlag, LNCS 1019 (1995), 264\u2013289."},{"key":"31_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0167-6423(93)90003-8","volume":"21","author":"B. Steffen","year":"1993","unstructured":"Steffen, B. Generating data flow analysis algorithms from modal specifications. Science of Computer Programming 21, (1993), 115\u2013139.","journal-title":"Science of Computer Programming"},{"key":"31_CR10","first-page":"72","volume-title":"LNCS 962","author":"B. Steffen","year":"1995","unstructured":"Steffen, B., Cla\\en, A., Klein, M., Knoop, J., and Margaria, T. The fixpoint-analysis machine. In Proc. 6\n                \n                  th\n                \n                Internat. Conference on Concurrency Theory (CONCUR'95), Philadelphia, Pennsylvania, Springer-Verlag, LNCS 962 (1995), 72\u201387."},{"issue":"4","key":"31_CR11","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1109\/32.129219","volume":"18","author":"G. V. Venkatesh","year":"1992","unstructured":"Venkatesh, G. V., and Fischer, C. N. Spare: A development evironment for program analysis algorithms. In IEEE Transactions on Software Engineering 18, 4 (1992), 304\u2013318.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"31_CR12","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/113446.113456","volume":"26","author":"D. Whitfield","year":"1991","unstructured":"Whitfield, D., and Soffa, M. L. Automatic generation of global optimizers. In Proc. ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI'91), Toronto, Ontario, Canada, SIGPLAN Notices 26, 6 (1991), 120\u2013129.","journal-title":"SIGPLAN Notices"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Yi, K., and Harrison III, W. L. Automatic generation and management of interprocedural program analyses. In ACM SIGPLAN-SIGACT, (Jan. 1993).","DOI":"10.1145\/158511.158642"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61042-1_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:52Z","timestamp":1619573332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}