{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:55Z","timestamp":1762458535894},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_1","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:48:36Z","timestamp":1180651716000},"page":"1-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Improving On-Demand Strategy Annotations"],"prefix":"10.1007","author":[{"given":"M.","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Gramlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Alpuente, S. Escobar, and S. Lucas. Correct and complete (positive) strategy annotations for OBJ. Electronic Notes in Theoretical Computer Science, volume 71. Elsevier Sciences, to appear 2002.","DOI":"10.1016\/S1571-0661(05)82529-0"},{"key":"1_CR2","first-page":"151","volume-title":"Sigplan Notices","author":"M. Alpuente","year":"1997","unstructured":"M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Specialization of Lazy Functional Logic Programs. Sigplan Notices, 32(12):151\u2013162, ACM Press, New York, 1997."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"S. Antoy and S. Lucas. Demandness in rewriting and narrowing. Electronic Notes in Theoretical Computer Science, volume 76. Elsevier Sciences, to appear 2002.","DOI":"10.1016\/S1571-0661(04)80784-9"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. Electronic Notes in Theoretical Computer Science, volume 4. Elsevier Sciences, 1996.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"S. Eker. Term rewriting with operator evaluation strategies. Electronic Notes in Theoretical Computer Science, volume 15. Elsevier Sciences, 1998.","DOI":"10.1016\/S1571-0661(05)80019-2"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Proc. of the 12th Annual ACM Symposium on Principles of Programming Languages, POPL\u201985, pages 52\u201366. ACM Press, 1985.","DOI":"10.1145\/318593.318610"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/345099.345102","volume":"22","author":"W. Fokkink","year":"2000","unstructured":"W. Fokkink, J. Kamperman, and P. Walters. Lazy rewriting on eager machinery. ACM Transactions on Programming Languages and Systems, 22(1):45\u201386, 2000.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR9","unstructured":"K. Futatsugi and A. Nakagawa. An overview of Cafe specification environment-an algebraic approach for creating, verifying, and maintaining formal specification over networks-. In Proc. of 1st International Conference on Formal Engineering Methods, 1997."},{"key":"1_CR10","volume-title":"Proc. of 4th International ACM SIG-PLAN Conference on Principles and Practice of Declarative Programming, PPDP\u201902","author":"B. Gramlich","year":"2002","unstructured":"B. Gramlich and S. Lucas. Modular termination of context-sensitive rewriting. In C. Kirchner, editor, Proc. of 4th International ACM SIG-PLAN Conference on Principles and Practice of Declarative Programming, PPDP\u201902, Pittsburg, USA, 2002. ACM Press, New York. To appear, 2002."},{"key":"1_CR11","unstructured":"J\u00fcrgen Giesl and Aart Middeldorp. Transformation techniques for context-sensitive rewrite systems. Aachener Informatik-Berichte (AIBs) 2002-02, RWTH Aachen, 2002."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.P. Jouannaud. Introducing OBJ. In Joseph A. Goguen and Grant Malcolm, editors, Software Engineering with OBJ: algebraic specification in action. Kluwer, 2000.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"1_CR13","first-page":"1","volume":"1998","author":"S. Lucas","year":"1998","unstructured":"S. Lucas. Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming, 1998:1\u201361, 1998.","journal-title":"Journal of Functional and Logic Programming"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/773184.773194","volume-title":"Proc. 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP\u201901)","author":"S. Lucas","year":"2001","unstructured":"S. Lucas. Termination of on-demand rewriting and termination of OBJ programs. In Harald Sondergaard, editor, Proc. 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP\u201901), pages 82\u201393, Firenze, Italy, September 2001. ACM Press, New York."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"S. Lucas. Context-sensitive rewriting strategies. Information and Computation, to appear, 2002.","DOI":"10.1006\/inco.2002.3176"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"S. Lucas. Lazy rewriting and context-sensitive rewriting. Electronic Notes in Theoretical Computer Science, volume 64. Elsevier Sciences, to appear, 2002.","DOI":"10.1016\/S1571-0661(04)80353-0"},{"key":"1_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-45610-4_21","volume-title":"Proc. 13th International Conference on Rewriting Techniques and Applications, RTA\u201902","author":"S. Lucas","year":"2002","unstructured":"S. Lucas. Termination of (canonical) context-sensitive rewriting. In Sophie Tison, editor, Proc. 13th International Conference on Rewriting Techniques and Applications, RTA\u201902, LNCS 2378:296\u2013310, Springer-Verlag, Berlin, 2002."},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J. Moreno-Navarro and M. Rodr\u00edguez-Artalejo. Logic Programming with Functions and Predicates: the Language BABEL. Journal of Logic Programming, 12(3):191\u2013223, 1992.","journal-title":"Journal of Logic Programming"},{"key":"1_CR19","unstructured":"T. Nagaya. Reduction Strategies for Term Rewriting Systems, PhD Thesis. School of Information Science, Japan Advanced Institute of Science and Technology, 1999."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"M. Nakamura and K. Ogata. The evaluation strategy for head normal form with and without on-demand flags. Electronic Notes in Theoretical Computer Science, volume 36. Elsevier Sciences, 2001.","DOI":"10.1016\/S1571-0661(05)80143-4"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"K. Ogata and K. Futatsugi. Operational semantics of rewriting with the on-demand evaluation strategy. In Proc of 2000 International Symposium on Applied Computing, SAC\u201900, pages 756\u2013763. ACM Press, 2000.","DOI":"10.1145\/338407.338558"},{"key":"1_CR22","series-title":"Lect Notes Comput Sci","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\u201997","author":"H. Zantema","year":"1997","unstructured":"H. Zantema. Termination of context-sensitive rewriting. In Proc. of 8th International Conference on Rewriting Techniques and Applications, RTA\u201997, pages 172\u2013186. Springer-Verlag, LNCS 1232, 1997."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:27:32Z","timestamp":1558258052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}