{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:40:36Z","timestamp":1740354036523,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_3","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:36:03Z","timestamp":1281299763000},"page":"51-74","source":"Crossref","is-referenced-by-count":17,"title":["Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability"],"prefix":"10.1007","author":[{"given":"S. Alexander","family":"Spoon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olin","family":"Shivers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"American National Standards Institute: ANSI NCITS 319-1998: Information Technology \u2014 Programming Languages \u2014 Smalltalk. American National Standards Institute, 1430 Broadway, New York, NY 10018, USA (1998)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/154766.155364","volume-title":"The second ACM SIGPLAN conference on History of programming languages","author":"A.C. Kay","year":"1993","unstructured":"Kay, A.C.: The early history of smalltalk. In: The second ACM SIGPLAN conference on History of programming languages, pp. 69\u201395. ACM Press, New York (1993)"},{"key":"3_CR3","volume-title":"The Architecture of Symbolic Computers","author":"P.M. Kogge","year":"1991","unstructured":"Kogge, P.M.: The Architecture of Symbolic Computers. McGraw-Hill, New York (1991)"},{"key":"3_CR4","unstructured":"Opdyke, W.F.: Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Grove, D., Defouw, G., Dean, J., Chambers, C.: Call graph construction in objectoriented languages. In: ACM Conference on Object-Oriented Programming, Systems, Language, and Applications, OOPSLA (1997)","DOI":"10.1145\/263698.264352"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Shivers, O.: The semantics of scheme control-flow analysis. In: Partial Evaluation and Semantic-Based Program Manipulation., pp. 190\u2013198 (1991)","DOI":"10.1145\/115865.115884"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Suzuki, N.: Inferring types in smalltalk. In: Conference record of the 8th ACM Symposium on Principles of Programming Languages (POPL), pp. 187\u2013199 (1981)","DOI":"10.1145\/567532.567553"},{"key":"3_CR8","unstructured":"Barnard, A.J.: From types to dataflow: code analysis for an OO language. PhD thesis, Manchester University (1993)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"O. Agesen","year":"1995","unstructured":"Agesen, O.: The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 2\u201326. Springer, Heidelberg (1995)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/316686.316703","volume":"21","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: Componential set-based analysis. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a021, 370\u2013416 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"3_CR11","unstructured":"Garau, F.: Inferencia de tipos concretos en squeak. Master\u2019s thesis, Universidad de Buenos Aires (2001)"},{"key":"3_CR12","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University (1991)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Heintze, N., McAllester, D.A.: On the cubic bottleneck in subtyping and flow analysis. Logic in Computer Science, 342\u2013351 (1997)","DOI":"10.1109\/LICS.1997.614960"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/354222.353190","volume":"35","author":"F. Tip","year":"2000","unstructured":"Tip, F., Palsberg, J.: Scalable propagation-based call graph construction algorithms. ACM SIGPLAN Notices\u00a035, 281\u2013293 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Reps, T.W.: Demand interprocedural program analysis using logic databases. In: Workshop on Programming with Logic Databases (Book), ILPS, pp. 163\u2013196 (1993)","DOI":"10.1007\/978-1-4615-2207-2_8"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Duesterwald, E., Gupta, R., Soffa, M.L.: Demand-driven computation of interprocedural data flow. In: Symposium on Principles of Programming Languages, pp. 37\u201348 (1995)","DOI":"10.1145\/199448.199461"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":": Simultaneous demand-driven data-flow and call graph analysis. In: ICSM, pp. 453\u2013462 (1999)","DOI":"10.1109\/ICSM.1999.792643"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Demand-driven pointer analysis. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 24\u201334 (2001)","DOI":"10.1145\/378795.378802"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/581478.581487","volume-title":"Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming","author":"D. Dub\u00e9","year":"2002","unstructured":"Dub\u00e9, D., Feeley, M.: A demand-driven adaptive type analysis. In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, pp. 84\u201397. ACM Press, New York (2002)"},{"key":"3_CR20","volume-title":"Artificial Intelligence","author":"E. Rich","year":"1983","unstructured":"Rich, E.: Artificial Intelligence. McGraw-Hill Book Company, New York (1983)"},{"key":"3_CR21","unstructured":"Spoon, S.A., Shivers, O.: Classification of inferred types in ddp experiment (2003), http:\/\/www.cc.gatech.edu\/~lex\/ti"},{"key":"3_CR22","unstructured":"Spoon, S.A.: Subgoal Pruning in Demand-Driven Analysis of a Dynamically Typed Object-Oriented Language. PhD thesis, Georgia Institute of Technology (forthcoming)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45337-7_6","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"T. Wang","year":"2001","unstructured":"Wang, T., Smith, S.F.: Precise constraint-based type inference for Java. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 99\u2013117. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:17:37Z","timestamp":1740352657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}