{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:20Z","timestamp":1779074600914,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657170","type":"print"},{"value":"9783540490517","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49051-7_5","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:36:53Z","timestamp":1286955413000},"page":"63-75","source":"Crossref","is-referenced-by-count":11,"title":["Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis"],"prefix":"10.1007","author":[{"given":"Florian","family":"Martin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"M. Alt","year":"1996","unstructured":"Alt, M., Ferdinand, C., Martin, F., Wilhelm, R.: Cache Behavior Prediction by Abstract Interpretation. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145. Springer, Heidelberg (1996)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"M. Alt","year":"1995","unstructured":"Alt, M., Martin, F.: Generation of Efficient Interprocedural Analyzers with PAG. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983. Springer, Heidelberg (1995)"},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic Computation\u00a02(4), 511\u2013547 (1992)","journal-title":"Journal of Logic Computation"},{"key":"5_CR4","unstructured":"Fecht, C.: Abstrakte interpretation logischer programme: Theorie, implementierung, generierung. Dissertation, Universit\u00e4t des Saarlandes, Fachbereich (1997)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J. Kam","year":"1977","unstructured":"Kam, J., Ullman, J.D.: Monotone Data Flow Analysis Frameworks. Acta Informatica\u00a07, 305\u2013317 (1977)","journal-title":"Acta Informatica"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-55984-1_13","volume-title":"Compiler Construction","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., Steffen, B.: The Interprocedural Coincidence Theorem. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol.\u00a0641, pp. 125\u2013140. Springer, Heidelberg (1992)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Martin, F.: PAG \u2013 an efficient program analyzer generator. International Journal on Software Tools for Technology Transfer, Special Issue on Program Analysis (1998) (to appear)","DOI":"10.1007\/s100090050017"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0026424","volume-title":"Compiler Construction","author":"F. Martin","year":"1998","unstructured":"Martin, F., Alt, M., Ferdinand, C., Wilhelm, R.: Analysis of Loops. In: Koskimies, K. (ed.) CC 1998. LNCS, vol.\u00a01383. Springer, Heidelberg (1998)"},{"issue":"1\u20134","key":"5_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/176454.176526","volume":"2","author":"R. Metzger","year":"1993","unstructured":"Metzger, R., Stroud, S.: Interprocedural Constant Propagation: An Empirical Study. ACM Letters on Programming Languages and Systems\u00a02(1\u20134), 213\u2013232 (1993)","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.L.: Principles of Program Analysis - Flows and Effects. Preliminary version (November 1998) complete version (1999) (to appear)","DOI":"10.1007\/978-3-662-03811-6"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: Conference Record of POPL 1995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, pp. 49\u201361 (1995)","DOI":"10.1145\/199448.199462"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT 1995: Theory and Practice of Software Development","author":"M. Sagiv","year":"1995","unstructured":"Sagiv, M., Reps, T., Horwitz, S.: Precise interprocedural dataflow analysis with application to constant propagation. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915. Springer, Heidelberg (1995)"},{"key":"5_CR13","first-page":"189","volume-title":"Program Flow Analysis: Theory and Applications, ch. 7","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications, ch. 7, pp. 189\u2013233. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"5_CR14","unstructured":"Thesing, S., Martin, F., Lauer, O., Alt, M.: PAG User\u2019s Manual (1998)"},{"key":"5_CR15","series-title":"International Computer Science Series","volume-title":"Compiler Design","author":"R. Wilhelm","year":"1995","unstructured":"Wilhelm, R., Maurer, D.: Compiler Design. International Computer Science Series. Addision\u2013Wesley, London (1995)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49051-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T08:12:12Z","timestamp":1559722332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49051-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657170","9783540490517"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49051-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}