{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:03Z","timestamp":1748071623723},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676683"},{"type":"electronic","value":"9783540450993"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_10","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T09:05:17Z","timestamp":1294995917000},"page":"175-198","source":"Crossref","is-referenced-by-count":28,"title":["Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C"],"prefix":"10.1007","author":[{"given":"Jeffrey S.","family":"Foster","sequence":"first","affiliation":[]},{"given":"Manuel","family":"F\u00e4hndrich","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Aiken","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0055513","volume-title":"Types in Compilation","author":"A. Aiken","year":"1998","unstructured":"Aiken, A., F\u00e4hndrich, M., Foster, J.S., Su, Z.: A Toolkit for Constructing Type- and Constraint-Based Program Analyses. In: Leroy, X., Ohori, A. (eds.) TIC 1998. LNCS, vol.\u00a01473, pp. 78\u201396. Springer, Heidelberg (1998)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L.: Solving Systems of Set Constraints. In: Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, pp. 329\u2013340 (June 1992)","DOI":"10.1109\/LICS.1992.185545"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L.: Type Inclusion Constraints and Type Inference. In: FPCA 1993 Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pp. 31\u201341 (June 1993)","DOI":"10.1145\/165180.165188"},{"key":"10_CR4","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen (May 1994)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/BFb0025882","volume-title":"Languages and Compilers for Parallel Computing","author":"M. Burke","year":"1995","unstructured":"Burke, M., Carini, P., Choi, J.-D., Hind, M.: Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. In: Pingali, K.K., Gelernter, D., Padua, D.A., Banerjee, U., Nicolau, A. (eds.) LCPC 1994. LNCS, vol.\u00a0892, pp. 234\u2013250. Springer, Heidelberg (1995)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee, R., Ryder, B.G., Landi, W.A.: Relevant Context Inference. In: Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 133\u2013146 (January 1999)","DOI":"10.1145\/292540.292554"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Das, M.: Unification-based Pointer Analysis with Directional Assignments. In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver B.C., Canada (June 2000) (to appear)","DOI":"10.1145\/349299.349309"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Debray, S., Muth, R., Weippert, M.: Alias Analysis of Executable Code. In: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 12\u201324 (January 1998)","DOI":"10.1145\/268946.268948"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Deutsch, A.: Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting. In: Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, Florida, pp. 230\u2013241 (June 1994)","DOI":"10.1145\/178243.178263"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: Detecting Memory Errors via Static Pointer Analysis. In: Proceedings of the ACM SIGPLAN\/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Montreal, Canada, June 1998, pp. 27\u201334 (1998)","DOI":"10.1145\/277633.277637"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-Sensitive Interprocedural Pointsto Analysis in the Presence of Function Pointers. In: Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, Florida, pp. 242\u2013256 (June 1994)","DOI":"10.1145\/178243.178264"},{"key":"10_CR12","unstructured":"F\u00e4hndrich, M.: BANE: A Library for Scalable Constraint-Based Program Analysis. PhD thesis, University of California, Berkeley (1999)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/BFb0032737","volume-title":"Static Analysis","author":"M. F\u00e4hndrich","year":"1997","unstructured":"F\u00e4hndrich, M., Aiken, A.: Program Analysis using Mixed Term and Set Constraints. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302, pp. 114\u2013126. Springer, Heidelberg (1997)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Foster, J.S., Su, Z., Aiken, A.: Partial Online Cycle Elimination in Inclusion Constraint Graphs. In: Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, Montreal, Canada, pp. 85\u201396 (June 1998)","DOI":"10.1145\/277652.277667"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Rehof, J., Das, M.: Scalable Context-Sensitive Flow Analysis using Instantiation Constraints. In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver B.C., Canada (June 2000) (to appear)","DOI":"10.1145\/349299.349332"},{"key":"10_CR16","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: Flow-Insensitive Points-to Analysis with Term and Set Constraints. Technical Report UCB\/\/CSD-97-964, University of California, Berkeley (August 1997)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: Polymorphic versus Monomorphic Flowinsensitive Points-to Analysis for C. Technical report, University of California, Berkeley (April 2000)","DOI":"10.1007\/978-3-540-45099-3_10"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Heintze, N., Jaffar, J.: A Decision Procedure for a Class of Set Constraints. In: Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, Philadelphia, Pennsylvania, pp. 42\u201351 (June 1990)","DOI":"10.1109\/LICS.1990.113732"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-49727-7_4","volume-title":"Static Analysis","author":"M. Hind","year":"1998","unstructured":"Hind, M., Pioli, A.: Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 57\u201381. Springer, Heidelberg (1998)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G.: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. In: Proceedings of the 1992 ACM SIGPLAN Conference on Programming Language Design and Implementation, San Francisco, California, June 1992, pp. 235\u2013248 (1992)","DOI":"10.1145\/143095.143137"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR22","unstructured":"Mossin, C.: Flow Analysis of Typed Higher-Order Programs. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen (1996)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Jackson, D.: Lackwit: A Program Understanding Tool Based on Type Inference. In: Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, May 1997, pp. 338\u2013348 (1997)","DOI":"10.1145\/253228.253351"},{"key":"10_CR24","unstructured":"Odersky, M., Sulzmann, M., Wehr, M.: Type Inference with Constrained Types. In: Pierce, B. (ed.) Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (January 1997)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D.: Typechecking records and variants in a natural extension of ML. In: Proceedings of the 16th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, Texas, January 1989, pp. 77\u201388 (1989)","DOI":"10.1145\/75277.75284"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Context-Insensitive Alias Analysis Reconsidered. In: Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation, La Jolla, California, June 1995, pp. 13\u201322 (1995)","DOI":"10.1145\/207110.207112"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. In: Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, January 1999, pp. 105\u2013118 (1999)","DOI":"10.1145\/292540.292552"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Horwitz, S.: Fast and Accurate Flow-Insensitive Points-To Analysis. In: Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 1997, pp. 1\u201314 (1997)","DOI":"10.1145\/263699.263703"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to Analysis in Almost Linear Time. In: Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, January 1996, pp. 32\u201341 (1996)","DOI":"10.1145\/237721.237727"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Su, Z., F\u00e4hndrich, M., Aiken, A.: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. In: Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts (January 2000) (to appear)","DOI":"10.1145\/325694.325706"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient Context-Sensitive Pointer Analysis for C Programs. In: Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation, La Jolla, California, June 1995, pp. 1\u201312 (1995)","DOI":"10.1145\/207110.207111"},{"key":"10_CR32","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF01018828","volume":"4","author":"A.K. Wright","year":"1995","unstructured":"Wright, A.K.: Simple Imperative Polymorphism. Lisp and Symbolic Computation 8\u00a04, 343\u2013356 (1995)","journal-title":"Lisp and Symbolic Computation 8"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Yong, S.H., Horwitz, S., Reps, T.: Pointer Analysis for Programs with Structures and Casting. In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999, pp. 91\u2013103 (1999)","DOI":"10.1145\/301618.301647"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Zhang, S., Ryder, B.G., Landi, W.A.: Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses. In: Fourth Symposium on the Foundations of Software Engineering (October 1996)","DOI":"10.1145\/239098.239112"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Zhang, S., Ryder, B.G., Landi, W.A.: Experiments with Combined Analysis for Pointer Aliasing. In: Proceedings of the ACM SIGPLAN\/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Montreal, Canada, June 1998, pp. 11\u201318 (1998)","DOI":"10.1145\/277631.277635"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:07:58Z","timestamp":1559941678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}