{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:00Z","timestamp":1725455820679},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634591"},{"type":"electronic","value":"9783540695554"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027007","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:34:01Z","timestamp":1132396441000},"page":"129-143","source":"Crossref","is-referenced-by-count":3,"title":["Needed reductions with context-sensitive rewriting"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0304-3975(96)00041-2","volume":"165","author":"S. Antoy","year":"1996","unstructured":"S. Antoy and A. Middeldorp. A Sequential Reduction Strategy. Theoretical Computer Science, 165(1):75\u201395, 1996.","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","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_CR3","unstructured":"I. Durand and A. Middeldorp. Decidable Call by Need Computations in Term Rewriting (Extended Abstract). In Proc. of CADE'97, LNCS to appear."},{"key":"9_CR4","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 I, II. In J.L. Lassez and G. Plotkin, editors, Computational logic: essays in honour of J. Alan Robinson, pages 395\u2013414 and 415\u2013443. The MIT Press, Cambridge, MA, 1991."},{"key":"9_CR5","series-title":"LNCS","first-page":"247","volume-title":"Proc. of Workshop on Conditional and Typed Rewriting Systems, CTRS'94","author":"R. Kennaway","year":"1994","unstructured":"R. Kennaway. A Conflict Between Call-By-Need Computation and Parallelism. In Proc. of Workshop on Conditional and Typed Rewriting Systems, CTRS'94, LNCS 968:247\u2013261, Springer-Verlag, Berlin, 1994."},{"key":"9_CR6","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_CR7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0747-7171(08)80124-1","volume":"12","author":"J.W. Klop","year":"1991","unstructured":"J.W. Klop and A. Middeldorp. Sequentiality in Orthogonal Term Rewriting Systems. Journal of Symbolic Computation 12:161\u2013195, 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR8","unstructured":"S. Lucas. Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming, 1997, to appear."},{"key":"9_CR9","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-61440-0_122","volume-title":"Proc. of 23rd. International Colloquium on Automata, Languages and Programming, ICALP'96","author":"S. Lucas","year":"1996","unstructured":"S. Lucas. Termination of Context-Sensitive Rewriting by Rewriting. In F. Meyer auf der Heide and B. Monien, editors, Proc. of 23rd. International Colloquium on Automata, Languages and Programming, ICALP'96, LNCS 1099:122\u2013133, Springer-Verlag, Berlin, 1996."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"S. Lucas. Transformations for Efficient Evaluations in Functional Programming. In H. Glasser and H. Kuchen, editors, Proc. of 9th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'97, LNCS to appear.","DOI":"10.1007\/BFb0033841"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"L. Maranget. Optimal Derivations in Weak Lambda-calculi and in Orthogonal Term Rewriting Systems In Conference Record of the 18th ACM Symposium on Principles of Programming Languages, pages 255\u2013269, ACM Press, 1990.","DOI":"10.1145\/99583.99618"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"A. Middeldorp. Call by Need Computations to Root-Stable Form. In Conference Record of the 24th ACM Symposium on Principles of Programming Languages, pages 94\u2013105, 1997.","DOI":"10.1145\/263699.263711"},{"key":"9_CR13","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08531-9","volume-title":"Computing in Systems Described by Equations","author":"M.J. O'Donnell","year":"1977","unstructured":"M.J. O'Donnell. Computing in Systems Described by Equations. LNCS 58, Springer-Verlag, Berlin, 1977."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1006\/inco.1993.1026","volume":"104","author":"R.C. Sekar","year":"1993","unstructured":"R.C. Sekar and I.V. Ramakrishnan. Programming in Equational Logic: Beyond Strong Sequentiality. Information and Computation 104:78\u2013109, 1993.","journal-title":"Information and Computation"},{"key":"9_CR15","unstructured":"C. Reade. Elements of Functional Programming. Addison-Wesley Publishing Company, 1993."},{"key":"9_CR16","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","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:08:41Z","timestamp":1683295721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634591","9783540695554"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0027007","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}