{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T12:10:41Z","timestamp":1682770241112},"reference-count":20,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3619,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s1571-0661(04)80678-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"92-118","source":"Crossref","is-referenced-by-count":0,"title":["On-demand Evaluation by Program Transformation1 1Work partially supported by CICYT TIC2001-2705-C03-01 and MCYT grants HA2001-0059 and HU2001-0019."],"prefix":"10.1016","volume":"86","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB1","doi-asserted-by":"crossref","unstructured":"M. Alpuente, S. Escobar, B. Gramlich, and S. Lucas. Improving on-demand strategy annotations. In M. Baaz and A. Voronkov, editors, Proc. 9th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'02), volume 2514 of Lecture Notes in Computer Science, pages 1\u201318, Tbilisi, Georgia, 2002. Springer-Verlag, Berlin.","DOI":"10.1007\/3-540-36078-6_1"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB2","doi-asserted-by":"crossref","unstructured":"M. Alpuente, S. Escobar, and S. Lucas. Correct and complete (positive) strategy annotations for OBJ. In J. Giavitto and P. Moreau, editors, Proc. of the 4th International Workshop on Rewriting Logic and its Applications, WRLA 2002, volume 71 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2002.","DOI":"10.1016\/S1571-0661(05)82529-0"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB3","doi-asserted-by":"crossref","unstructured":"M. Alpuente, S. Escobar, and S. Lucas. Ondemandobj: a laboratory for strategy annotations. In J. Giavitto and P. Moreau, editors, Proc. of the 4th International Workshop on Rule-Based Programming, RULE 2003, volume 86.2 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2003.","DOI":"10.1016\/S1571-0661(04)80673-X"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB4","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97, volume 32, number 12 of ACM Sigplan Notices, pages 151\u2013162. ACM Press, New York, 1997.","DOI":"10.1145\/258993.259015"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB5","doi-asserted-by":"crossref","unstructured":"S. Antoy and S. Lucas. Demandness in rewriting and narrowing. In M. Comini and M. Falaschi, editors, Proc. of the 11th Int'l Workshop on Functional and (Constraint) Logic Programming WFLP'02, volume 76 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2002.","DOI":"10.1016\/S1571-0661(04)80784-9"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB6","series-title":"Term Rewriting and All That","author":"Baader","year":"1998"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB7","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proc. of the 1st International Workshop on Rewriting Logic and its Applications, RWLW 96, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65\u201389. Elsevier Sciences Publisher, 1996.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB8","unstructured":"S. Eker. Term rewriting with operator evaluation strategies. In C. Kirchner and H. Kirchner, editors, Proc. of the 2nd International Workshop on Rewriting Logic and its Applications, WRLA 98, volume 15 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2000."},{"issue":"1","key":"10.1016\/S1571-0661(04)80678-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/345099.345102","article-title":"Lazy rewriting on eager machinery","volume":"22","author":"Fokkink","year":"2000","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB10","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Proc. of 12th Annual ACM Symp. on Principles of Programming Languages (POPL'85), pages 52\u201366. ACM Press, New York, 1985.","DOI":"10.1145\/318593.318610"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB11","doi-asserted-by":"crossref","unstructured":"K. Futatsugi and A. Nakagawa. An overview of CAFE specification environment - an algebraic approach for creating, verifying, and maintaining formal specification over networks \u2013. In 1st International Conference on Formal Engineering Methods, 1997.","DOI":"10.1109\/ICFEM.1997.630424"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB12","series-title":"Software Engineering with OBJ: algebraic specification in action","article-title":"Introducing OBJ","author":"Goguen","year":"2000"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB13","doi-asserted-by":"crossref","unstructured":"R. Loogen, F. L\u00f3pez-Fraguas, and M. Rodr\u00edguez-Artalejo. A Demand Driven Computation Strategy for Lazy Narrowing. In Proc. of PLILP'93, volume 714 of Lecture Notes in Computer Science, pages 184\u2013200. Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/3-540-57186-8_79"},{"issue":"1","key":"10.1016\/S1571-0661(04)80678-9_NEWBIB14","first-page":"1","article-title":"Context-sensitive computations in functional and functional logic programs","volume":"1998","author":"Lucas","year":"1998","journal-title":"Journal of Functional and Logic Programming"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB15","doi-asserted-by":"crossref","unstructured":"S. Lucas. Termination of on-demand rewriting and termination of obj programs. In Proc. of 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'01, pages 82\u201393. ACM Press, New York, 2001.","DOI":"10.1145\/773184.773194"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB16","doi-asserted-by":"crossref","unstructured":"S. Lucas. Lazy rewriting and context-sensitive rewriting. In M. Hanus, editor, Proc. of the 10th Int'l Workshop on Functional and (Constraint) Logic Programming WFLP'01, volume 64 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2002.","DOI":"10.1016\/S1571-0661(04)80353-0"},{"issue":"3","key":"10.1016\/S1571-0661(04)80678-9_NEWBIB17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","article-title":"Logic Programming with Functions and Predicates: The language Babel","volume":"12","author":"Moreno-Navarro","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB18","unstructured":"T. Nagaya. Reduction Strategies for Term Rewriting Systems. PhD thesis, School of Information Science, Japan Advanced Institute of Science and Technology, March 1999."},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB19","doi-asserted-by":"crossref","unstructured":"M. Nakamura and K. Ogata. The evaluation strategy for head normal form with and without on-demand flags. In K. Futatsugi, editor, Proc. of the 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, volume 36 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher, 2001.","DOI":"10.1016\/S1571-0661(05)80143-4"},{"key":"10.1016\/S1571-0661(04)80678-9_NEWBIB20","doi-asserted-by":"crossref","unstructured":"K. Ogata and K. Futatsugi. Operational semantics of rewriting with the ondemand evaluation strategy. In Proc. of 2000 International Symposium on Applied Computing, SAC'00, pages 756\u2013763. ACM Press, New York, 2000.","DOI":"10.1145\/338407.338558"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806789?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806789?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:42:47Z","timestamp":1682768567000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066104806789"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80678-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}