{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:06Z","timestamp":1725663066514},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184201"},{"type":"electronic","value":"9783540479635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18420-1_53","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:35:16Z","timestamp":1330198516000},"page":"119-159","source":"Crossref","is-referenced-by-count":6,"title":["Target code generation from G-machine code"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Johnsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson. A compiler for lazy ML. In Proceedings of the 1984 ACM Symposium on Lisp and Functional Programming, pages 218\u2013227, Austin, 1984.","DOI":"10.1145\/800055.802038"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"L. Augustsson. Compiling pattern matching. In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"G. Cousineau, P.L. Curien, and M. Mauny. The categorical abstract machine. In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture, pages 50\u201364, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"7_CR4","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":"7_CR5","unstructured":"D. P. Friedman. Cons should not evaluate its arguments, pages 257\u2013284. Edinburgh University Press, 1976. In the book Automata, languages and Programming."},{"key":"7_CR6","unstructured":"P. Henderson. Functional Programming. Prentice-Hall, 1980."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"P. Henderson and J. H. Morris. A lazy evaluator. In 3'rd conference on The Principles of Programming Languages, pages 95\u2013103, Atlanta, Georgia, January 1976.","DOI":"10.1145\/800168.811543"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"J. Hughes. Super combinators \u2014 a new implementation method for applicative languages. In Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming, pages 1\u201310, Pittsburgh, 1982.","DOI":"10.1145\/800068.802129"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Efficient compilation of lazy evaluation. In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, pages 58\u201369, Montreal, 1984.","DOI":"10.1145\/502874.502880"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Lambda lifting: transforming programs to recursive equations. In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Attribute grammars and functional programming. Draft paper, Programming Methodology Group, Chalmers University of Technology, 1986.","DOI":"10.1007\/3-540-18317-5_10"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"Donald E. Knuth. Semantics of context-free languages. Math. Systems Theory, 2:127\u2013145, 1968.","journal-title":"Math. Systems Theory"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"P.J.Landin. The mechanical evaluation of expressions. Computer Journal, (6):308\u2013320, 1964.","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"7_CR14","unstructured":"H. Lindstr\u00f6m and J. Skansholm. Code Generation in the MARY compiler for the IBM 360. Technical Report 78.1, Department of Computer Science, Chalmers University of Technology, G\u00f6teborg, Sweden, 1978."},{"key":"7_CR15","unstructured":"S. Peyton-Jones. The Implementation of Functional Languages. Prentice Hall, 1987."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"D. A. Turner. A new implementation technique for applicative languages. Software \u2014 Practice and Experience, 9:31\u201349, 1979.","journal-title":"Software \u2014 Practice and Experience"},{"key":"7_CR17","volume-title":"Proceedings 1981 Conference on Functional Languages and Computer Architecture","author":"D. A. Turner","year":"1981","unstructured":"D. A. Turner. The semantic elegance of applicative languages. In Proceedings 1981 Conference on Functional Languages and Computer Architecture, Wentworth-by-the-Sea, Portsmouth, New Hampshire, 1981."},{"key":"7_CR18","volume-title":"The Design of an Optimizing Compiler","author":"W. Wulf","year":"1975","unstructured":"W. Wulf, R.K. Johnsson, C.B. Weinstock, S.O. Hobbs, and C.M. Geschke. The Design of an Optimizing Compiler. Elsevier Computer Science Library, New York, 1975."}],"container-title":["Lecture Notes in Computer Science","Graph Reduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18420-1_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:51Z","timestamp":1605644091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18420-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184201","9783540479635"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-18420-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}