{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:24Z","timestamp":1725663564593},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:33:51Z","timestamp":1330241631000},"page":"141-152","source":"Crossref","is-referenced-by-count":1,"title":["Avoiding repeated tests in pattern matching"],"prefix":"10.1007","author":[{"given":"Peter","family":"Thiemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"issue":"1","key":"12_CR2","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM, 24(1):44\u201367, 1977.","journal-title":"J. ACM"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"W.-N. Chin. Safe fusion of functional expressions. In Proceedings Conference on Lisp and Functional Programming, pages 11\u201320, San Francisco, June 1992.","DOI":"10.1145\/141471.141494"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. 4th ACM POPL. ACM, 1977.","DOI":"10.1145\/512950.512973"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"C. K. Gomard and P. Sestoft. Globalization and live variables. In Proc. PEPM '92, pages 166\u2013177, New Haven, June 1991. ACM. SIGPLAN Notices v26,9.","DOI":"10.1145\/115865.115882"},{"key":"12_CR6","first-page":"134","volume-title":"Extending deforestation for first order functional programs","author":"G. W. Hamilton","year":"1992","unstructured":"G. W. Hamilton and S. B. Jones. Extending deforestation for first order functional programs. In R. Heldal, C. K. Holst, and P. Wadler, editors, Proceedings of the 1991 Glasgow Workshop on Functional Programming, pages 134\u2013145, Portree, Isle of Skye, Aug. 1992. Springer-Verlag, Berlin."},{"issue":"2","key":"12_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S. L. P. Jones","year":"1992","unstructured":"S. L. Peyton Jones. Implementing lazy functional languages on stock hardware: the spineless tagless G-machine. Journal of Functional Programming, 2(2):127\u2013202, Apr. 1992.","journal-title":"Journal of Functional Programming"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"S. A. Romanenko. Arity raiser and its use in program specialization. In N. D. Jones, editor, ESOP 1990, pages 341\u2013360. Springer Verlag, 1990. LNCS 432.","DOI":"10.1007\/3-540-52592-0_73"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"P. Thiemann. A safety analysis for functional programs. In D. Schmidt, editor, Proc. PEPM '93, pages 133\u2013144, Copenhagen, Denmark, June 1993. ACM.","DOI":"10.1145\/154630.154644"},{"issue":"2","key":"12_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. L. Wadler","year":"1990","unstructured":"P. L. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Comput. Sci., 73(2):231\u2013248, 1990.","journal-title":"Theoretical Comput. Sci."},{"key":"12_CR11","unstructured":"\u00e5. Wikstr\u00f6m. Functional Programming Using Standard ML. Prentice Hall, 1987."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:02:16Z","timestamp":1619557336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}