{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:19Z","timestamp":1725456019868},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057879X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017488","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:11Z","timestamp":1132645631000},"page":"276-290","source":"Crossref","is-referenced-by-count":9,"title":["Global program analysis in constraint form"],"prefix":"10.1007","author":[{"given":"Jens","family":"Palsberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Ole Agesen, Jens Palsberg, and Michael I. Schwartzbach. Type inference of Self: Analysis of objects with dynamic and multiple inheritance. In Proc. ECOOP'93, Seventh European Conference on Object-Oriented Programming, pages 247\u2013267, Kaiserslautern, Germany, July 1993.","DOI":"10.1007\/3-540-47910-4_14"},{"key":"19_CR2","unstructured":"Andrew Ayers. Efficient closure analysis with reachability. In Proc. WSA'92, Analyse Statique, pages 126\u2013134, 1992."},{"key":"19_CR3","unstructured":"Henk P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1981."},{"issue":"1\u20133","key":"19_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(91)90035-V","volume":"17","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. Science of Computer Programming, 17(1\u20133):3\u201334, December 1991.","journal-title":"Science of Computer Programming"},{"key":"19_CR5","volume-title":"Similix 5.0 Manual","author":"A. Bondorf","year":"1993","unstructured":"Anders Bondorf. Similix 5.0 Manual. DIKU, University of Copenhagen, Denmark, April 1993. Included in Similix 5.0 distribution."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16:151\u2013195, 1991.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"19_CR7","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"A. Bondorf","year":"1993","unstructured":"Anders Bondorf and Jesper J\u00f8rgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315\u2013346, 1993.","journal-title":"Journal of Functional Programming"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Charles Consel. Binding time analysis for higher order untyped functional languages. In Proc. ACM Conference on Lisp and Functional Programming, pages 264\u2013272, 1990.","DOI":"10.1145\/91556.91668"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Paola Giannini and Simona Ronchi Della Rocca. Characterization of typings in polymorphic type discipline. In LICS'88, Third Annual Symposium on Logic in Computer Science, pages 61\u201370, 1988.","DOI":"10.1109\/LICS.1988.5101"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Neil D. Jones. Flow analysis of lambda expressions. In Proc. Eighth Colloquium on Automata, Languages, and Programming, pages 114\u2013128. Springer-Verlag (LNCS 115), 1981.","DOI":"10.1007\/3-540-10843-2_10"},{"issue":"3","key":"19_CR11","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1017\/S0956796800000770","volume":"3","author":"J. Palsberg","year":"1993","unstructured":"Jens Palsberg. Correctness of binding-time analysis. Journal of Functional Programming, 3(3):347\u2013363, 1993.","journal-title":"Journal of Functional Programming"},{"key":"19_CR12","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Safety analysis versus type inference. Information and Computation. To appear."},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0020-0190(92)90196-3","volume":"43","author":"J. Palsberg","year":"1992","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Safety analysis versus type inference for partial types. Information Processing Letters, 43:175\u2013180, 1992.","journal-title":"Information Processing Letters"},{"key":"19_CR14","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Binding-time analysis: Abstract interpretation versus type inference. In Proc. ICCL'94, Fifth IEEE International Conference on Computer Languages, Toulouse, France, May 1994. To appear."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Peter Sestoft. Replacing function parameters by global variables. Master's thesis, DIKU, University of Copenhagen, September 1989.","DOI":"10.1145\/99370.99374"},{"key":"19_CR16","unstructured":"Peter Sestoft. Analysis and Efficient Implementation of Functional Programs. PhD thesis, DIKU, University of Copenhagen, October 1991."},{"key":"19_CR17","unstructured":"Olin Shivers. Control-Flow Analysis of Higher-Order Languages. PhD thesis, CMU, May 1991. CMU-CS-91-145."},{"key":"19_CR18","unstructured":"Olin Shivers. Data-flow analysis and type recovery in Scheme. In Peter Lee, editor, Topics in Advanced Language Implementation, pages 47\u201387. MIT Press, 1991."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"David Ungar and Randall B. Smith. SELF: The power of simplicity. In Proc. OOPSLA'87, Object-Oriented Programming Systems, Languages and Applications, pages 227\u2013241, 1987. Also published in Lisp and Symbolic Computation 4(3), Kluwer Acadamic Publishers, June 1991.","DOI":"10.1007\/BF01806105"}],"container-title":["Lecture Notes in Computer Science","Trees in Algebra and Programming \u2014 CAAP'94"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017488.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:38:40Z","timestamp":1607549920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057879X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0017488","relation":{},"subject":[]}}