{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:54Z","timestamp":1725472074281},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540489375"},{"type":"electronic","value":"9783540489382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11924661_13","type":"book-chapter","created":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T13:42:39Z","timestamp":1161956559000},"page":"200-216","source":"Crossref","is-referenced-by-count":4,"title":["Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Gedell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rgen","family":"Gustavsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josef","family":"Svenningsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (DIKU report 94\/19) (May 1994)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Augustsson, L.: Implementing haskell overloading. In: Functional Programming Languages and Computer Architecture, pp. 65\u201373 (1993)","DOI":"10.1145\/165180.165191"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/349299.349309","volume-title":"PLDI 2000","author":"M. Das","year":"2000","unstructured":"Das, M.: Unification-based pointer analysis with directional assignments. In: PLDI 2000, pp. 35\u201346. ACM Press, New York (2000)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"D. Dussart","year":"1995","unstructured":"Dussart, D., Henglein, F., Mossin, C.: Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983. Springer, Heidelberg (1995)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-47764-0_15","volume-title":"Static Analysis","author":"M. Das","year":"2001","unstructured":"Das, M., Liblit, B., F\u00e4hndrich, M., Rehof, J.: Estimating the impact of scalable pointer analysis on optimization. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, p. 260. Springer, Heidelberg (2001)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-60360-3_37","volume-title":"Static Analysis","author":"K.-F. Fax\u00e9n","year":"1995","unstructured":"Fax\u00e9n, K.-F.: Optimizing lazy functional programs using flow inference. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983, pp. 136\u2013153. Springer, Heidelberg (1995)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-45099-3_10","volume-title":"Static Analysis","author":"J.S. Foster","year":"2000","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 175\u2013199. Springer, Heidelberg (2000)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Rehof, J., Das, M.: Scalable Context-Sensitive Flow Analysis using Instantiation Constraints. In: PLDI 2000, Vancouver B.C., Canada (June 2000)","DOI":"10.1145\/349299.349332"},{"key":"13_CR9","unstructured":"Gedell, T.: A Case Study on the Scalability of a Constraint Solving Algorithm: Polymorphic Usage Analysis with Subtyping. Master thesis (October 2003)"},{"key":"13_CR10","unstructured":"Gedell, T.: Static analysis and deductive verification of programs. Licentiate thesis (2006)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45361-X_9","volume-title":"Implementation of Functional Languages","author":"J. Gustavsson","year":"2001","unstructured":"Gustavsson, J., Svenningsson, J.: A usage analysis with bounded usage polymorphism and subtyping. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 140\u2013157. Springer, Heidelberg (2001)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-44978-7_5","volume-title":"Programs as Data Objects","author":"J. Gustavsson","year":"2001","unstructured":"Gustavsson, J., Svenningsson, J.: Constraint abstractions. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 63\u201383. Springer, Heidelberg (2001)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Gustavsson, J.: A type based sharing analysis for update avoidance and optimisation. In: ICFP, ACM SIGPLAN Notices 34(1), pp. 39\u201350. ACM, New york (1998)","DOI":"10.1145\/291251.289427"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"Henglein, F.: Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems\u00a015(2), 253\u2013289 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/378795.378855","volume-title":"PLDI 2001","author":"N. Heintze","year":"2001","unstructured":"Heintze, N., Tardieu, O.: Ultra-fast aliasing analysis using CLA: A million lines of C code in a second. In: PLDI 2001, pp. 254\u2013263. ACM Press, New York (2001)"},{"key":"13_CR16","unstructured":"Jones, M.P.: Dictionary-free overloading by partial evaluation. In: Partial Evaluation and Semantics-Based Program Manipulation, Orlando, Florida (Technical Report 94\/9, Department of Computer Science, University of Melbourne), pp. 107\u2013117 (June 1994)"},{"key":"13_CR17","volume-title":"Functional Programming, Workshops in Computing","author":"J. Launchbury","year":"1992","unstructured":"Launchbury, J., Gill, A., Hughes, J., Marlow, S., Peyton Jones, S.L., Wadler, P.: Avoiding Unnecessary Updates. In: Launchbury, J., Sansom, P.M. (eds.) Functional Programming, Workshops in Computing, Glasgow. Springer, Heidelberg (1992)"},{"key":"13_CR18","volume-title":"Proc. 1993 Glasgow Workshop on Functional Programming, Workshops in Computing","author":"S. Marlow","year":"1993","unstructured":"Marlow, S.: Update Avoidance Analysis by Abstract Interpretation. In: Proc. 1993 Glasgow Workshop on Functional Programming, Workshops in Computing. Springer, Heidelberg (1993)"},{"key":"13_CR19","unstructured":"Mycroft, A.: Abstract Interpretation and Optimizing Transformations for Applicative Programs. PhD thesis, University of Edinburg (1982)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings 6th International Symposium on Programming","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A.: Polymorphic Type Schemes and Recursive Definitions. In: Proceedings 6th International Symposium on Programming, Toulouse, July 1984. LNCS. Springer, Heidelberg (1984)"},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-1-4471-3215-8_17","volume-title":"Functional Programming, Glasgow 1992","author":"Will Partain","year":"1993","unstructured":"Partain, W.: The nofib benchmark suite of haskell programs (1993)"},{"key":"13_CR22","unstructured":"Jones, S.P., Marlow, S.: Secrets of the Glasgow Haskell compiler inliner. In: Workshop on Implementing Declarative Languages (1999)"},{"key":"13_CR23","first-page":"1","volume-title":"Proc. of ICFP 1996, ACM SIGPLAN Notices","author":"S. Peyton Jones","year":"1996","unstructured":"Peyton Jones, S., Partain, W., Santos, A.: Let-floating: moving bindings to give faster programs. In: Proc. of ICFP 1996, ACM SIGPLAN Notices, vol.\u00a031(6), pp. 1\u201312. ACM, New York (1996)"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/237721.237727","volume-title":"POPL 1996","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: POPL 1996, pp. 32\u201341. ACM Press, New York (1996)"},{"key":"13_CR25","volume-title":"Proc. of FPCA","author":"D.N. Turner","year":"1995","unstructured":"Turner, D.N., Wadler, P., Mossin, C.: Once upon a type. In: Proc. of FPCA, La Jolla. ACM Press, New York (1995)"},{"key":"13_CR26","unstructured":"Wansbrough, K.: Simple Polymorphic Usage Analysis. PhD thesis, Computer Laboratory. Cambridge University, England (March 2002)"},{"key":"13_CR27","volume-title":"Proc. of POPL 1999","author":"K. Wansbrough","year":"1999","unstructured":"Wansbrough, K., Jones, S.P.: Once Upon a Polymorphic Type. In: Proc. of POPL 1999. ACM Press, New York (1999)"},{"key":"13_CR28","volume-title":"ACM SIGPLAN Workshop on Types in Compilation","author":"K. Wansbrough","year":"2000","unstructured":"Wansbrough, K., Jones, S.P.: Simple Usage Polymorphism. In: ACM SIGPLAN Workshop on Types in Compilation. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11924661_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:37Z","timestamp":1605643177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11924661_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489375","9783540489382"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11924661_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}