{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:32:19Z","timestamp":1778297539632,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657033","type":"print"},{"value":"9783540490593","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_25","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"360-374","source":"Crossref","is-referenced-by-count":1,"title":["From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach"],"prefix":"10.1007","author":[{"given":"Jens","family":"Knoop","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"25_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985."},{"key":"25_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-60360-3_31","volume-title":"Proc. 2nd Int. Static Analysis Symp. (SAS\u201995)","author":"M. Alt","year":"1995","unstructured":"M. Alt and F. Martin. Generation of efficient interprocedural analyzers with PAG. In Proc. 2nd Int. Static Analysis Symp. (SAS\u201995), LNCS 983, pages 33\u201350. Springer-V., 1995."},{"key":"25_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-61053-7_57","volume-title":"Proc. 6th Int. Conf. on Compiler Const. (CC\u201996)","author":"U. A\u00dfmann","year":"1996","unstructured":"U. A\u00dfmann. How to uniformly specify program analysis and transformation with graph rewrite systems. In Proc. 6th Int. Conf. on Compiler Const. (CC\u201996), LNCS 1060, pages 121\u2013135. Springer-V., 1996."},{"key":"25_CR4","first-page":"28","volume-title":"Proc. Poster Session 7th Int. Conf. on Compiler Const. (CC\u201998)","author":"U. A\u00dfmann","year":"1998","unstructured":"U. A\u00dfmann. OPTIMIXing. In Proc. Poster Session 7th Int. Conf. on Compiler Const. (CC\u201998), pages 28\u201335. Departamento de Inform\u00e1tica, Univ. Lisboa, 1998."},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conf. Rec. 4th Symp. Principles of Prog. Lang. (POPL\u201977)","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 Conf. Rec. 4th Symp. Principles of Prog. Lang. (POPL\u201977), pages 238\u2013252. ACM, NY, 1977."},{"key":"25_CR6","first-page":"269","volume-title":"Conf. Rec. 4th Symp. Principles of Prog. Lang. (POPL\u201979)","author":"P. Cousot","year":"1979","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conf. Rec. 4th Symp. Principles of Prog. Lang. (POPL\u201979), pages 269\u2013282. ACM, New York, 1979."},{"issue":"4","key":"25_CR7","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. J. of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"J. of Logic and Computation"},{"key":"25_CR8","unstructured":"High Performance Fortran Forum. High Performance Fortran language specification version 2.0. Technical report, Rice University, Houston,TX, January 1997. Available via HPFF home page: http:\/\/www.crpc.rice.edu\/HPFF ."},{"key":"25_CR9","series-title":"Technical report","volume-title":"FORTRAN D language specification","author":"G. Fox","year":"1992","unstructured":"G. Fox, S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer, C.-W. Tseng, and M.-Y. Wu. FORTRAN D language specification. Technical report, Rice University, Houston,TX, January 1992."},{"key":"25_CR10","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983."},{"key":"25_CR11","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":"25_CR12","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":"25_CR13","first-page":"194","volume-title":"Conf. Rec. 1st Symp. Principles of Prog. Lang. (POPL\u201973)","author":"G. A. Kildall","year":"1973","unstructured":"G. A. Kildall. A unified approach to global program optimization. In Conf. Rec. 1st Symp. Principles of Prog. Lang. (POPL\u201973), pages 194\u2013206. ACM, NY, 1973."},{"key":"25_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/3-540-61042-1_64","volume-title":"Proc. 2nd Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS\u201996)","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 Proc. 2nd Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS\u201996), LNCS 1055, pages 422\u2013426. Springer-V., 1996."},{"key":"25_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Optimal Interprocedural Program Optimization: A new Framework and its Application","author":"J. Knoop","year":"1993","unstructured":"J. Knoop. Optimal Interprocedural Program Optimization: A new Framework and its Application. PhD thesis, Univ. of Kiel, Germany, 1993. LNCS Tutorial 1428, Springer-V., 1998."},{"issue":"1-2","key":"25_CR16","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. TCS, 196(1-2):365\u2013393, 1998. (Special issue devoted to Euro-Par\u201996 ).","journal-title":"TCS"},{"key":"25_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BFb0057887","volume-title":"Proc. 4th Europ. Conf. on Parallel Processing (Euro-Par\u201998)","author":"J. Knoop","year":"1998","unstructured":"J. Knoop. Parallel constant propagation. In Proc. 4th Europ. Conf. on Parallel Processing (Euro-Par\u201998), LNCS 1470, pages 445\u2013455. Springer-V., 1998."},{"key":"25_CR18","unstructured":"J. Knoop and W. Golubski. Abstract interpretation: A uniform framework for type analysis and classical optimization of object-oriented programs. In Proc. 1st Int. Symp. on Object-Oriented Technology (WOON\u201996), pages 126\u2013142, 1996."},{"key":"25_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BFb0026423","volume-title":"Proc. 7th Int. Conf. on Compiler Construction (CC\u201998)","author":"J. Knoop","year":"1998","unstructured":"J. Knoop, D. Kosch\u00fctzki, and B. Steffen. Basic-block graphs: Living dinosaurs? In Proc. 7th Int. Conf. on Compiler Construction (CC\u201998), LNCS 1383, pages 65\u201379. Springer-V., 1998."},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"J. Knoop and E. Mehofer. Interprocedural distribution assignment placement: More than just enhancing intraprocedural placing techniques. In Proc. 5th Int. Conf. on Parallel Architectures and Compilation Techniques (PACT\u201997), pages 26\u201337, 1997.","DOI":"10.1109\/PACT.1997.644001"},{"key":"25_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0002758","volume-title":"Proc. 3rd Europ. Conf. on Parallel Processing (Euro-Par\u201997)","author":"J. Knoop","year":"1997","unstructured":"J. Knoop and E. Mehofer. Optimal distribution assignment placement. In Proc. 3rd Europ. Conf. on Parallel Processing (Euro-Par\u201997), LNCS 1300, pages 364\u2013373. Springer-V., 1997."},{"issue":"4","key":"25_CR22","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 Trans. Prog. Lang. Syst., 16(4):1117\u20131155, 1994.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"6","key":"25_CR23","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/178243.178256","volume":"29","author":"J. Knoop","year":"1994","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Partial dead code elimination. In Proc. ACM SIGPLAN Conf. on Prog. Lang. Design and Impl. (PLDI\u201994), volume 29,6 of ACM SIGPLAN Not., pages 147\u2013158, 1994.","journal-title":"Proc. ACM SIGPLAN Conf. on Prog. Lang. Design and Impl. (PLDI\u201994)"},{"issue":"4","key":"25_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. J. Prog. Lang., 4(4):211\u2013246, 1996.","journal-title":"J. Prog. Lang."},{"key":"25_CR25","unstructured":"J. Knoop and F. Schreiber. Analysing and optimizing strongly typed objectoriented languages: A generic approach and its application to Oberon-2. In Proc. 2nd Int. Symp. on Object-Oriented Technology (WOON\u201997), pages 252\u2013266, 1997."},{"key":"25_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-55984-1_13","volume-title":"Proc. 4th Int. Conf. on Compiler Construction (CC\u201992)","author":"J. Knoop","year":"1992","unstructured":"J. Knoop and B. Steffen. The interprocedural coincidence theorem. In Proc. 4th Int. Conf. on Compiler Construction (CC\u201992), LNCS 641, pages 125\u2013140. Springer-V., 1992."},{"key":"25_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/3-540-60630-0_13","volume-title":"Proc. 1st Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS\u201995)","author":"J. Knoop","year":"1995","unstructured":"J. Knoop, B. Steffen, and J. Vollmer. Parallelism for free: Bitvector analyses \u2192 No state explosion! In Proc. 1st Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS\u201995), LNCS 1019, pages 264\u2013289. Springer-V., 1995."},{"key":"25_CR28","unstructured":"J. Knoop, B. Steffen, and J. Vollmer. Code motion for parallel programs. In Proc. of the Poster Session of the 6th Int. Conf. on Comp. Constr. (CC\u201996), pages 81\u201388. TR LiTH-IDA-R-96-12, 1996."},{"issue":"3","key":"25_CR29","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 Trans. Prog. Lang. Syst., 18(3):268\u2013299, 1996.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"25_CR30","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":"5","key":"25_CR31","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1145\/213978.213989","volume":"17","author":"P. M. Masticola","year":"1995","unstructured":"P. M. Masticola, T. J. Marlowe, and B. G. Ryder. Lattice frameworks for multisource and bidirectional data flow problems. ACM Trans. Prog. Lang. Syst., 17(5):777\u2013802, 1995.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"2","key":"25_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. Comm. ACM, 22(2):96\u2013103, 1979.","journal-title":"Comm. ACM"},{"key":"25_CR33","unstructured":"R. Morgan. Building an Optimizing Compiler. Digital Press, 1998."},{"key":"25_CR34","volume-title":"Advanced Compiler Design and Implementation","author":"S. S. Muchnick","year":"1997","unstructured":"S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco, CA, 1997."},{"key":"25_CR35","volume-title":"Program Flow Analysis: Theory and Applications","year":"1981","unstructured":"S. S. Muchnick and N. D. Jones, editors. Program Flow Analysis: Theory and Applications. Prentice Hall, Englewood Cliffs, NJ, 1981."},{"key":"25_CR36","first-page":"31","volume":"21","author":"F. Nielson","year":"1986","unstructured":"F. Nielson. A bibliography on abstract interpretations. ACM SIGPLAN Not., 21:31\u201338, 1986.","journal-title":"ACM SIGPLAN Not."},{"key":"25_CR37","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":"25_CR38","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1002\/spe.4380180707","volume":"18","author":"N. Wirth","year":"1988","unstructured":"Niklaus Wirth. The programming language Oberon. In Software-Practice and Experience, volume 18, pages 671\u2013690. John Wiley and Sons, 1988.","journal-title":"Software-Practice and Experience"},{"key":"25_CR39","unstructured":"H. Zima, P. Brezany, B. Chapman, P. Mehrotra, and A. Schwald. Vienna Fortran-A language specification version 1.1. Technical Report ACPC\/TR 92-4, Austrian Center for Parallel Computation, March 1992."}],"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-49059-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:34:31Z","timestamp":1737534871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}