{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:41:10Z","timestamp":1725457270054},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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\/bfb0033833","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:27:37Z","timestamp":1134268057000},"page":"1-15","source":"Crossref","is-referenced-by-count":7,"title":["Narrowing the narrowing space"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[]},{"given":"Zena M.","family":"Ariola","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"D. Angluin and C. Smith. Inductive inference: Theory and methods Computing Surveys, 15(3):237\u2013269, 1983.","journal-title":"Computing Surveys"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Proc. 21st ACM Symposium on Principles of Programming Languages, pages 268\u2013279, Portland, 1994. URL www.cs.pdx.edu\/\u2248antoy\/publications. html.","DOI":"10.1145\/174675.177899"},{"key":"1_CR3","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A parallel narrowing strategy. In 14th Int'l Conference on Logic Programming, Leuven, Belgium, July 1997. (to appear) URL www.cs.pdx.edu\/\u2248antoy\/publications.html."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"A. Bockmayr, S. Krischer, and A. Werner. An optimal narrowing strategy for general canonical systems. In Proc. of the 3rd Intern. Workshop on Conditional Term Rewriting Systems, pages 483\u2013497. Springer LNCS 656, 1992.","DOI":"10.1007\/3-540-56393-8_39"},{"issue":"1","key":"1_CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/321864.321875","volume":"22","author":"R.S. Boyer","year":"1975","unstructured":"R.S. Boyer and J.S. Moore. Proving theorems about LISP functions. JACM, 22(1):129\u2013144, Jan. 1975.","journal-title":"JACM"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"J. Darlington and Y. Guo. Narrowing and unification in functional programming \u2014 an evaluation mechanism for absolute set abstraction. In Proc. of the Conference on Rewriting Techniques and Applications, pages 92\u2013108. Springer LNCS 355, 1989.","DOI":"10.1007\/3-540-51081-8_102"},{"key":"1_CR7","first-page":"243","volume-title":"Handbook of Theoretical Computer Science B: Formal Methods and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243\u2013320. North Holland, Amsterdam, 1990."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"R. Echahed. On completeness of narrowing strategies. In Proc. CAAP'88, pages 89\u2013101. Springer LNCS 299, 1988.","DOI":"10.1007\/BFb0026098"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"R. Echahed. Uniform narrowing strategies. In Proceedings of the Third International Conference on Algebraic and Logic Programming, pages 259\u2013275, Volterra, Italy, September 1992.","DOI":"10.1007\/BFb0013831"},{"key":"1_CR10","first-page":"161","volume-title":"Proc. 4th Workshop on Automated Deduction","author":"M. J. Fay","year":"1979","unstructured":"M. J. Fay. First-order unification in an equational theory. In Proc. 4th Workshop on Automated Deduction, pages 161\u2013167, Austin (Texas), 1979. Academic Press."},{"key":"1_CR11","unstructured":"L. Fribourg. SLOG: A logic programming language interpreter based on clausal superposition and rewriting. In Proc. IEEE Internat. Symposium on Logic Programming, pages 172\u2013184, Boston, 1985."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"S.J. Garland and J.V. Guttag. Inductive methods for reasoning about abstract data types. In ACM SIGACT-SIGPLAN Symposium of Principles of Programming Languages, pages 219\u2013228, 1988.","DOI":"10.1145\/73560.73579"},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E. Giovannetti","year":"1991","unstructured":"E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel LEAF: a logic plus functional language. The Journal of Computer and System Sciences, 42:139\u2013185, 1991.","journal-title":"The Journal of Computer and System Sciences"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"W. Hans, R. Loogen, and S. Winkler. On the interaction of lazy evaluation and backtracking. In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming, pages 355\u2013369. Springer LNCS 631, 1992.","DOI":"10.1007\/3-540-55844-6_147"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"M. Hanus. Lazy narrowing with simplification. Computer Languages (to appear), 1997.","DOI":"10.1016\/S0096-0551(97)00010-6"},{"key":"1_CR16","unstructured":"A. Herold. Narrowing techniques applied to idempotent unification. Technical Report SR-86-16, SEKI, 1986."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"S. H\u00f6lldobler. Foundations of Equational Logic Programming. Springer LNCS 353, 1989.","DOI":"10.1007\/BFb0015791"},{"key":"1_CR18","first-page":"239","volume":"25","author":"G. Huet","year":"1982","unstructured":"G. Huet and J.-M. Hullot. Proofs by induction in equational theories with constructors. JCSS, 25:239\u2013266, 1982.","journal-title":"JCSS"},{"key":"1_CR19","unstructured":"J. W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Vol. II, pages 1\u2013112. Oxford University Press, 1992."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"S. Krischer and A. Bockmayr. Detecting redundant narrowing derivations by the LSE-SL reducibility test. In Proc. RTA'91. Springer LNCS 488, 1991.","DOI":"10.1007\/3-540-53904-2_87"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"A. Middeldorp and E. Hamoen. Counterexamples to completeness results for basic narrowing (extended abstract). In Proceedings of the Third International Conference on Algebraic and Logic Programming, pages 244\u2013258, Volterra, Italy, September 1992.","DOI":"10.1007\/BFb0013830"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"J. J. Moreno-Navarro, H. Kuchen, R. Loogen, and M. Rodriguez-Artalejo. Lazy narrowing in a graph machine. In Proc. Second International Conference on Algebraic and Logic Programming, pages 298\u2013317. Springer LNCS 463, 1990.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"1_CR23","doi-asserted-by":"crossref","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:191\u2013223, 1992.","journal-title":"Journal of Logic Programming"},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(89)80014-8","volume":"7","author":"W. Nutt","year":"1989","unstructured":"W. Nutt, P. R\u00e9ty, and G. Smolka. Basic narrowing revisited. Journal of Symbolic Computation, 7:295\u2013317, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR25","volume-title":"The implementation of Functional Programming Languages","author":"S. L. Peyton Jones","year":"1987","unstructured":"S. L. Peyton Jones. The implementation of Functional Programming Languages. Prentice-Hall International, Englewood Cliffs, N.J., 1987."},{"key":"1_CR26","unstructured":"U. S. Reddy. Narrowing as the operational semantics of functional languages. In Proc. IEEE Internat. Symposium on Logic Programming, pages 138\u2013151, Boston, 1985."},{"issue":"1","key":"1_CR27","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/0022-0000(91)90039-8","volume":"42","author":"J.-H. You","year":"1991","unstructured":"J.-H. You. Unification modulo an equality theory for equational logic programming. The Journal of Computer and System Sciences, 42(1):54\u201375, 1991.","journal-title":"The Journal of Computer and System Sciences"}],"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\/BFb0033833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:51:07Z","timestamp":1586598667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0033833","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}