{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:44Z","timestamp":1763468084326},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559849"},{"type":"electronic","value":"9783540473350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55984-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:49:30Z","timestamp":1330253370000},"page":"125-140","source":"Crossref","is-referenced-by-count":46,"title":["The interprocedural coincidence theorem"],"prefix":"10.1007","author":[{"given":"Jens","family":"Knoop","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"7","key":"13_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"F. E. Allen","year":"1970","unstructured":"Allen, F. E. Control flow analysis. SIGPLAN Not. 5, 7 (1970), 1\u201319.","journal-title":"SIGPLAN Not."},{"key":"13_CR2","volume-title":"Habilitationsschrift","author":"G. Barth","year":"1981","unstructured":"Barth, G. Interprozedurale Datenflu\u00dfsysteme. Habilitationsschrift, University of Kaiserslautern, Germany, 1981."},{"key":"13_CR3","series-title":"LNCS 145","first-page":"49","volume-title":"Proceedings 6th GI-Conference","author":"G. Barth","year":"1983","unstructured":"Barth, G. Interprocedural data flow systems. In Proceedings 6 th GI-Conference, Dortmund, Germany, Springer-Verlag, LNCS 145 (1983), 49\u201359."},{"key":"13_CR4","series-title":"LNCS 456","first-page":"307","volume-title":"Proceedings 2nd PLILP","author":"F. Bourdoncle","year":"1990","unstructured":"Bourdoncle, F. Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity. In Proceedings 2 nd PLILP, Link\u00f6ping, Sweden, Springer-Verlag, LNCS 456 (1990), 307\u2013323."},{"key":"13_CR5","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 Proceedings 4 th POPL, Los Angeles, California, 1977, 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R. Static determination of dynamic properties of recursive procedures. In: Neuhold, E. (Ed.). Proceedings of the 2 nd IFIP TC-2 Working Conference on Formal Description of Programming Concepts, St. Andrews, N. B., Canada, 1977, 237\u2013277.","DOI":"10.1145\/390018.808314"},{"issue":"7","key":"13_CR7","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/13310.13327","volume":"21","author":"D. Callahan","year":"1986","unstructured":"Callahan, D., Cooper, K. D., Kennedy, K. W., and Torczon, L. M. Interprocedural constant propagation. In Proceedings SIGPLAN'86 Symp. on Compiler Construction, SIGPLAN Not. 21, 7 (1986), 152\u2013161.","journal-title":"SIGPLAN Not."},{"key":"13_CR8","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":"13_CR9","doi-asserted-by":"crossref","unstructured":"Jones, N. D., and Muchnick, S. S. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In Proceedings 9 th POPL, Albuquerque, New Mexico, 1982, 66\u201374.","DOI":"10.1145\/582153.582161"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Kildall, G. A. A unified approach to global program optimization. In Proceedings 1 st POPL, Boston, Massachusetts, 1973, 194\u2013206.","DOI":"10.1145\/512927.512945"},{"key":"13_CR11","volume-title":"Aachener Informatik-Berichte Nr. 91-27","author":"J. Knoop","year":"1991","unstructured":"Knoop, J., and Steffen, B. The interprocedural coincidence theorem. Aachener Informatik-Berichte Nr. 91-27, Rheinisch-Westf\u00e4lische Technische Hochschule Aachen, Aachen, Germany, 1991."},{"key":"13_CR12","series-title":"Technical Report","volume-title":"Addenda to Proceedings 4 th CC, Paderborn, Germany, October 5\u20137, 1992","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., and Steffen, B. Optimal interprocedural partial redundancy elimination. In Addenda to Proceedings 4 th CC, Paderborn, Germany, October 5\u20137, 1992. Technical Report, Department of Computer Science, University of Paderborn, Germany, 1992."},{"key":"13_CR13","unstructured":"Knoop, J., and Steffen, B. Efficient and optimal bit-vector data flow analyses: A uniform interprocedural framework. To appear."},{"key":"13_CR14","first-page":"309","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":"13_CR15","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF00289503","volume":"2","author":"H. Langmaack","year":"1973","unstructured":"Langmaack, H. On procedures as open subroutines. Part I. Acta Informatica 2, (1973), 311\u2013333.","journal-title":"Acta Informatica"},{"key":"13_CR16","unstructured":"Morel, E. Data flow analysis and global optimization. In: Lorho, B. (Ed.). Methods and tools for compiler construction. Cambridge University Press, 1984, 289\u2013315."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Myers, E. W. A precise inter-procedural data flow algorithm. In Proceedings 8 th POPL, Williamsburg, Virginia, 1981, 219\u2013230.","DOI":"10.1145\/567532.567556"},{"volume-title":"Program flow analysis: Theory and applications","year":"1981","key":"13_CR18","unstructured":"Muchnick, S. S., and Jones, N. D. (Eds.). Program flow analysis: Theory and applications. Prentice Hall, Englewood Cliffs, New Jersey, 1981."},{"key":"13_CR19","first-page":"160","volume-title":"Program flow analysis: Theory and applications","author":"E. Morel","year":"1981","unstructured":"Morel, E., and Renvoise, C. Interprocedural elimination of partial redundancies. In [MJ], 1981, 160\u2013188."},{"issue":"2","key":"13_CR20","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/322123.322135","volume":"26","author":"B. K. Rosen","year":"1979","unstructured":"Rosen, B. K. Data flow analysis for procedural languages. Journal of the ACM 26, 2 (1979), 322\u2013344.","journal-title":"Journal of the ACM"},{"key":"13_CR21","series-title":"LNCS 379","first-page":"481","volume-title":"Proceedings 14th MFCS","author":"B. Steffen","year":"1989","unstructured":"Steffen, B., and Knoop, J. Finite constants: Characterizations of a new decidable set of constants. In Proceedings 14 th MFCS, Porabka-Kozubnik, Poland, Springer-Verlag, LNCS 379 (1989), 481\u2013491. An extended version appeared in: Theoretical Computer Science 80, 2 (1991), 303\u2013318."},{"key":"13_CR22","unstructured":"Steffen, B., and Knoop, J. Finite interprocedural constants. To appear."},{"key":"13_CR23","first-page":"189","volume-title":"Program flow analysis: Theory and applications","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., and Pnueli, A. Two approaches to interprocedural data flow analysis. In [MJ], 1981, 189\u2013233."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55984-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:40:14Z","timestamp":1640925614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55984-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559849","9783540473350"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55984-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}