{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:58:32Z","timestamp":1693857512313},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10990-005-4876-5","type":"journal-article","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T12:09:45Z","timestamp":1133006985000},"page":"245-269","source":"Crossref","is-referenced-by-count":4,"title":["Selectors Make Set-Based Analysis Too Hard"],"prefix":"10.1007","volume":"18","author":[{"given":"Philippe","family":"Meunier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Steckler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitchell","family":"Wand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4876_CR1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0167-6423(99)00007-6","volume":"35","author":"A. Aiken","year":"1999","unstructured":"Aiken, A. Introduction to set constraint-based program analysis. Science of Computer Programming, 35 (1999) 79\u2013111.","journal-title":"Science of Computer Programming"},{"key":"4876_CR2","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L., and Lakshman, T.K. Soft typing with conditional types. In Proceeding of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '94), 1994, pp. 163\u2013173.","DOI":"10.1145\/174675.177847"},{"key":"4876_CR3","unstructured":"Cormen, T.H., Leiserson, C.E., and Rivest, R.L. Introduction to Algorithms. MIT Press\/McGraw-Hill, Cambridge, MA\/New York, 1990."},{"key":"4876_CR4","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 Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1977, pp. 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"4876_CR5","unstructured":"Dybvig, R.K. Chez Scheme User's Guide. Cadence Research Systems, 1998."},{"key":"4876_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01806099","volume":"3","author":"R.K. Dybvig","year":"1990","unstructured":"Dybvig, R.K. and Hieb, R. A new approach to procedures with variable arity. Lisp and Symbolic Computation, 3 (1990) 229\u2013244.","journal-title":"Lisp and Symbolic Computation"},{"key":"4876_CR7","doi-asserted-by":"crossref","unstructured":"Dzeng, H. and Haynes, C.T. Type Reconstruction for variable-arity procedures. In Proceedings of the ACM Conference on Lisp and Functional Programming, 1994, pp. 239\u2013249.","DOI":"10.1145\/182409.182484"},{"issue":"2","key":"4876_CR8","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0956796801004208","volume":"12","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., and Felleisen, M. DrScheme: A progamming environment for scheme. Journal of Functional Programming, 12(2) (2002) 159\u2013182.","journal-title":"Journal of Functional Programming"},{"key":"4876_CR9","unstructured":"Flanagan, C. MrSpidey: Static Debugger Manual. Rice University, 1995."},{"key":"4876_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C. Effective static debugging via componential set-based analysis. PhD thesis, Rice University, 1997.","DOI":"10.1145\/258915.258937"},{"issue":"2","key":"4876_CR11","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1145\/316686.316703","volume":"21","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C. and Felleisen, M. Componential set-based analysis. ACM Trans. on Programming Languages and Systems, 21(2) (1999) 369\u2013415.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"4876_CR12","unstructured":"Flatt, M. MzScheme: Language Reference Manual. Rice University. 2000, Version 103."},{"key":"4876_CR13","unstructured":"Heintze, N. Set based program analysis. PhD thesis, Carnegie-Mellon Univ., Pittsburgh, Pa, 1992."},{"key":"4876_CR14","doi-asserted-by":"crossref","unstructured":"Heintze, N. Set-based analysis of ML programs. In Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994, pp. 306\u2013317.","DOI":"10.1145\/182409.182495"},{"key":"4876_CR15","doi-asserted-by":"crossref","unstructured":"Heintze, N. and McAllester, D. Linear-time subtransitive control flow analysis. In Proceedings of the 1997 ACM Conference on Programming Language Design and Implementation (PLDI '97), 1997a, pp. 261\u2013272.","DOI":"10.1145\/258915.258939"},{"key":"4876_CR16","doi-asserted-by":"crossref","unstructured":"Heintze, N. and McAllester, D. On the cubic bottleneck in subtyping and flow analysis. In Proceedings of the IEEE Symposium on Logic in Computer Science (LICS '97), 1997b, pp. 342\u2013351.","DOI":"10.1109\/LICS.1997.614960"},{"key":"4876_CR17","doi-asserted-by":"crossref","unstructured":"Kelsey, R., Clinger, W., and Rees, J. Revised5 report on the Algorithmic Language Scheme. Higher-Order and Symbolic Computation, 11(1) (1998) 7\u2013105.","DOI":"10.1023\/A:1010051815785"},{"key":"4876_CR18","unstructured":"McAllester, D. and Heintze, N. On the complexity of set-based analysis. In 1997 International Conference on Functional Programming, 1997."},{"key":"4876_CR19","doi-asserted-by":"crossref","unstructured":"Palsberg, J. Closure analysis in constraint form. Proceedings of the ACM Transactions on Programming Languages and Systems, 17(1) (1995) 47\u201362.","DOI":"10.1145\/200994.201001"},{"key":"4876_CR20","unstructured":"Palsberg, J. and Schwartzbach, M.I. Object-Oriented Type Systems, Wiley Professional Computing. Chichester, Wiley, 1994."},{"key":"4876_CR21","doi-asserted-by":"crossref","unstructured":"Sestoft, P. Replacing Function Parameters by Global Variables. Master's thesis, DIKU, University of Copenhagen, 1988.","DOI":"10.1145\/99370.99374"},{"key":"4876_CR22","doi-asserted-by":"crossref","unstructured":"Shivers, O. The semantics of Scheme control-flow analysis. In Proceedings of the 1991 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991, pp. 190\u2013198.","DOI":"10.1145\/115865.115884"},{"key":"4876_CR23","doi-asserted-by":"crossref","unstructured":"Wand, M. and Williamson, G.B. A modular, extensible proof method for small-step flow analyses. In Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Proceedings, D. Le M\u00e9tayer (Ed.), vol. 2305 of Lecture Notes in Computer Science, 2002, pp. 213\u2013227.","DOI":"10.1007\/3-540-45927-8_16"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-005-4876-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-005-4876-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-005-4876-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T06:12:17Z","timestamp":1586585537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-005-4876-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":23,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4876"],"URL":"https:\/\/doi.org\/10.1007\/s10990-005-4876-5","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}