{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:34:31Z","timestamp":1725467671720},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648499"},{"type":"electronic","value":"9783540685289"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055426","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:40:51Z","timestamp":1154032851000},"page":"92-111","source":"Crossref","is-referenced-by-count":1,"title":["Types for register allocation"],"prefix":"10.1007","author":[{"given":"Johan","family":"Agat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"6_CR1","volume-title":"Computer architecture: a quantitative approach","author":"J. L. Hennessy","year":"1990","unstructured":"J. L. Hennessy and D. A. Patterson. Computer architecture: a quantitative approach. Morgan Kaufmann Publishers, Palo Alto, 1990."},{"key":"6_CR2","first-page":"47","volume-title":"Polymorphic Effect Systems","author":"J. M. Lucassen","year":"1988","unstructured":"John M. Lucassen and David K. Gifford. Polymorphic Effect Systems. In 15th Annual ACM Symposium on Principles of Programming Languages, pages 47\u201357, San Diego, California, January 1988. ACM Press."},{"key":"6_CR3","first-page":"303","volume-title":"Algebraic Reconstruction of Types and Effects","author":"P. Jouvelot","year":"1991","unstructured":"Pierre Jouvelot and David K. Gifford. Algebraic Reconstruction of Types and Effects. In Proc. 18th ACM Symp. on Principles of Programming Languages, pages 303\u2013310, Orlando, Florida, January 1991. ACM Press."},{"key":"6_CR4","unstructured":"Peter A. Steenkiste. Advanced Register Allocation. In Peter Lee, editor, Topics in Advanced Language Implementation. MIT Press, 1991."},{"key":"6_CR5","volume-title":"Compilers: Principles, Techniques, Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, Tools. Addison-Wesley Publishing Company, Reading, Mass., 1986."},{"key":"6_CR6","first-page":"188","volume-title":"Implementation of the Typed Call-by-Value \u226b-calculus using a Stack of Regions","author":"M. Tofte","year":"1994","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-Value \u226b-calculus using a Stack of Regions. In 21th Annual ACM Symposium on Principles of Programming Languages, pages 188\u2013201, Portland, Oregon, January 1994. ACM Press."},{"key":"6_CR7","first-page":"162","volume-title":"The Type and Effect Discipline","author":"J. Talpin","year":"1992","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot. The Type and Effect Discipline. In Seventh Annual IEEE Symposium on Logic in Computer Science, pages 162\u2013173, Santa Cruz, California, June 1992. IEEE Press."},{"key":"6_CR8","unstructured":"Simon L. Peyton Jones. Compiling haskell by program transformation: a report from the trenches. In Proceedings of the European Symposium on Programming, Link\u00f6ping, April 1996."},{"key":"6_CR9","first-page":"116","volume-title":"A Type-Based Compiler for Standard ML","author":"Z. Shao","year":"1995","unstructured":"Zhong Shao and Andrew W. Appel. A Type-Based Compiler for Standard ML. In SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'95), pages 116\u2013129, La Jolla, June 1995. ACM."},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"181","DOI":"10.21236\/ADA306265","volume-title":"TIL: A Type-Directed Optimizing Compiler for ML","author":"D. Tarditi","year":"1996","unstructured":"D. Tarditi, G. Morriset, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A Type-Directed Optimizing Compiler for ML. In SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'96), pages 181\u2013192, Philadelphia, May 1996. ACM."},{"key":"6_CR11","doi-asserted-by":"crossref","DOI":"10.21236\/ADA358572","volume-title":"From System F to Typed Assembly Language","author":"G. Morriset","year":"1998","unstructured":"Greg Morriset, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In 25th ACM Symposium on Principles of Programming Languages (POPL '98), San Diego, California, January 1998. ACM."},{"key":"6_CR12","first-page":"171","volume-title":"From Region Inference to von Neumann Machines via Region Representation Inference","author":"L. Birkedal","year":"1996","unstructured":"Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From Region Inference to von Neumann Machines via Region Representation Inference. In 23rd ACM Symposium on Principles of Programming Languages (POPL '98), pages 171\u2013183, St. Petersburg Beach, Florida, January 1996. ACM."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"F. Chow and J. Hennessy. Register Allocation by Priority-based Coloring. In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, pages 222\u2013232, Montreal, 1984.","DOI":"10.1145\/502874.502896"},{"key":"6_CR14","volume-title":"volume 582 of Lecture Notes in Computer Science","author":"M. P. Jones","year":"1992","unstructured":"Mark P. Jones. A Theory of Qualified Types. In ESOP'92: European Symposium on Programming, volume 582 of Lecture Notes in Computer Science, Rennes, France, February 1992. Springer-Verlag."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Urban Boquist. Interprocedural Register Allocation for Lazy Functional Languages. Licentiate Thesis, Chalmers University of Technology, Mars 1995. URL: http:\/\/www.cs.Chalmers.se\/~boquist\/lic.ps.","DOI":"10.1145\/224164.224215"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:07:20Z","timestamp":1555751240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648499","9783540685289"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0055426","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}