{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:40:02Z","timestamp":1736167202315,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633983"},{"type":"electronic","value":"9783540695370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033841","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:27:37Z","timestamp":1134286057000},"page":"127-141","source":"Crossref","is-referenced-by-count":2,"title":["Transformations for efficient evaluations in functional programming"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"9_CR1","first-page":"243","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243\u2013320. Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990."},{"key":"9_CR2","first-page":"395","volume-title":"Computational logic: essays in honour of J. Alan Robinson","author":"G. Huet","year":"1991","unstructured":"G. Huet and J.J. L\u00e9vy. Computations in orthogonal term rewriting systems. In J.L. Lassez and G. Plotkin, editors, Computational logic: essays in honour of J. Alan Robinson, pages 395\u2013414 and 415-443. The MIT Press, Cambridge, MA, 1991."},{"key":"9_CR3","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-59200-8_54","volume-title":"Proc. of 6th International Conference on Rewriting Techniques and Applications, RTA'95","author":"J. Kamperman","year":"1995","unstructured":"J.F.Th. Kamperman and H.R. Walters. Lazy Rewriting and Eager Machinery. In J. Hsiang, editor, Proc. of 6th International Conference on Rewriting Techniques and Applications, RTA'95, LNCS 914:147\u2013162, Springer-Verlag, Berlin, 1995."},{"key":"9_CR4","unstructured":"J.W. Klop. Term Rewriting Systems. In S. Abramsky, D.M. Gabbay and T.S.E. Maibaum. Handbook of Logic in Computer Science, volume 3, pages 1\u2013116. Oxford University Press, 1992."},{"key":"9_CR5","unstructured":"S. Lucas. Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming, 1997, to appear."},{"key":"9_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/3-540-60609-2_25","volume-title":"Proc. of XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'95","author":"S. Lucas","year":"1995","unstructured":"S. Lucas. Fundamentals of context-sensitive rewriting. In M. Bart\u00f4sek, J. Staudek and J. Wiedermann, editors, Proc. of XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'95, LNCS 1012:405\u2013412, Springer-Verlag, Berlin, 1995."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"S. Lucas. Needed Reductions with Context-Sensitive Rewriting. In M. Hanus and K. Meinke, editors, Proc. of 6th International Conference on Algebraic and Logic Programming, ALP'97, LNCS to appear.","DOI":"10.1007\/BFb0027007"},{"key":"9_CR8","volume-title":"Equational Logic as a Programming Language","author":"M.J. O'Donnell","year":"1985","unstructured":"M.J. O'Donnell. Equational Logic as a Programming Language. The MIT Press, Cambridge, Massachusetts, 1985."},{"key":"9_CR9","unstructured":"C. Reade. Elements of Functional Programming. Addison-Wesley Publishing Company, 1993."},{"key":"9_CR10","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1007\/3-540-51081-8_122","volume-title":"Proc. of 3rd International Conference on Rewriting Techniques and Applications, RTA'89","author":"R.C. Sekar","year":"1989","unstructured":"R.C. Sekar, S. Pawagi and I.V. Ramakrishnan. Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient Parallel Execution. In N. Dershowitz, editor, Proc. of 3rd International Conference on Rewriting Techniques and Applications, RTA'89, LNCS 355:404\u2013418, Springer-Verlag, Berlin, 1989."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Y. Toyama. Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. In Proc. of 7th IEEE Symposium on Logic in Computer Science, Santa Cruz, CA, pages 274\u2013284, 1992.","DOI":"10.1109\/LICS.1992.185540"},{"key":"9_CR12","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/3-540-62950-5_69","volume-title":"Proc. of 8th International Conference on Rewriting Techniques and Applications, RTA'97","author":"H. Zantema","year":"1997","unstructured":"H. Zantema. Termination of Context-Sensitive Rewriting. In H. Comon, editor, Proc. of 8th International Conference on Rewriting Techniques and Applications, RTA'97, LNCS 1232:172\u2013186, Springer-Verlag, Berlin, 1997."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:13:20Z","timestamp":1736165600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0033841","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}