{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:04:10Z","timestamp":1742634250731},"publisher-location":"Berlin, Heidelberg","reference-count":87,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_5","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"45-75","source":"Crossref","is-referenced-by-count":36,"title":["Multi-paradigm Declarative Languages"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-54141-1_4","volume-title":"Next Generation Information System Technology","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"A\u00eft-Kaci, H.: An Overview of LIFE. In: Schmidt, J.W., Stogny, A.A. (eds.) Next Generation Information System Technology. LNCS, vol.\u00a0504, pp. 42\u201358. Springer, Heidelberg (1991)"},{"key":"5_CR2","first-page":"17","volume-title":"Proc. 4th IEEE Internat. Symposium on Logic Programming","author":"H. A\u00eft-Kaci","year":"1987","unstructured":"A\u00eft-Kaci, H., Lincoln, P., Nasr, R.: Le Fun: Logic, equations, and Functions. In: Proc. 4th IEEE Internat. Symposium on Logic Programming, pp. 17\u201323. IEEE Computer Society Press, San Francisco (1987)"},{"key":"5_CR3","first-page":"318","volume-title":"Proc. Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991), Workshops in Computing","author":"S. Antoy","year":"1991","unstructured":"Antoy, S.: Non-Determinism and Lazy Evaluation in Logic Programming. In: Proc. Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991), Workshops in Computing, pp. 318\u2013331. Springer, Heidelberg (1991)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0013825","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1992","unstructured":"Antoy, S.: Definitional Trees. In: Kirchner, H., Levi, G. (eds.) Algebraic and Logic Programming. LNCS, vol.\u00a0632, pp. 143\u2013157. Springer, Heidelberg (1992)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1997","unstructured":"Antoy, S.: Optimal Non-Deterministic Functional Logic Computations. In: Hanus, M., Heering, J., Meinke, K. (eds.) ALP 1997 and HOA 1997. LNCS, vol.\u00a01298, pp. 16\u201330. Springer, Heidelberg (1997)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/773184.773205","volume-title":"Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)","author":"S. Antoy","year":"2001","unstructured":"Antoy, S.: Constructor-based Conditional Narrowing. In: Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 199\u2013206. ACM Press, New York (2001)"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.jsc.2004.12.007","volume":"40","author":"S. Antoy","year":"2005","unstructured":"Antoy, S.: Evaluation Strategies for Functional Logic Programming. Journal of Symbolic Computation\u00a040(1), 875\u2013903 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"5_CR8","first-page":"138","volume-title":"Proc. of the Fourteenth International Conference on Logic Programming (ICLP 1997)","author":"S. Antoy","year":"1997","unstructured":"Antoy, S., Echahed, R., Hanus, M.: Parallel Evaluation Strategies for Functional Logic Languages. In: Proc. of the Fourteenth International Conference on Logic Programming (ICLP 1997), pp. 138\u2013152. MIT Press, Cambridge (1997)"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. Journal of the ACM\u00a047(4), 776\u2013822 (2000)","journal-title":"Journal of the ACM"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/10720084_12","volume-title":"Frontiers of Combining Systems","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hanus, M.: Compiling Multi-Paradigm Declarative Programs into Prolog. In: Kirchner, H. (ed.) Frontiers of Combining Systems. LNCS, vol.\u00a01794, pp. 171\u2013185. Springer, Heidelberg (2000)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-45788-7_4","volume-title":"Functional and Logic Programming","author":"S. Antoy","year":"2002","unstructured":"Antoy, S., Hanus, M.: Functional Logic Design Patterns. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol.\u00a02441, pp. 67\u201387. Springer, Heidelberg (2002)"},{"issue":"6","key":"5_CR12","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1017\/S095679680400509X","volume":"14","author":"S. Antoy","year":"2004","unstructured":"Antoy, S., Hanus, M.: Concurrent Distinct Choices. Journal of Functional Programming\u00a014(6), 657\u2013668 (2004)","journal-title":"Journal of Functional Programming"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/11680093_2","volume-title":"Logic Based Program Synthesis and Transformation","author":"S. Antoy","year":"2006","unstructured":"Antoy, S., Hanus, M.: Declarative Programming with Function Patterns. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 6\u201322. Springer, Heidelberg (2006)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/11431664_7","volume-title":"Implementation and Application of Functional Languages","author":"S. Antoy","year":"2005","unstructured":"Antoy, S., Hanus, M., Liu, J., Tolmach, A.: A Virtual Machine for Functional Logic Computations. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474, pp. 108\u2013125. Springer, Heidelberg (2005)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/773184.773206","volume-title":"Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)","author":"S. Antoy","year":"2001","unstructured":"Antoy, S., Hanus, M., Massey, B., Steiner, F.: An Implementation of Narrowing Strategies. In: Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 207\u2013217. ACM Press, New York (2001)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/10705424_22","volume-title":"Functional and Logic Programming","author":"S. Antoy","year":"1999","unstructured":"Antoy, S., Tolmach, A.: Typed Higher-Order Narrowing without Higher-Order Strategies. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 335\u2013352. Springer, Heidelberg (1999)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/BFb0030618","volume-title":"TAPSOFT 97: Theory and Practice of Software Development","author":"P. Arenas-S\u00e1nchez","year":"1997","unstructured":"Arenas-S\u00e1nchez, P., Rodr\u00edguez-Artalejo, M.: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 453\u2013464. Springer, Heidelberg (1997)"},{"key":"5_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.entcs.2007.01.011","volume":"177","author":"R. Berghammer","year":"2007","unstructured":"Berghammer, R., Fischer, S.: Implementing Relational Specifications in a Constraint Functional Logic Language. Electronic Notes in Theoretical Computer Science\u00a0177, 169\u2013183 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR20","volume-title":"Introduction to Functional Programming","author":"R.S. Bird","year":"1988","unstructured":"Bird, R.S., Wadler, P.: Introduction to Functional Programming. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"5_CR21","first-page":"311","volume-title":"Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming (Seattle)","author":"S. Bonnier","year":"1988","unstructured":"Bonnier, S., Maluszynski, J.: Towards a Clean Amalgamation of Logic Programs with External Procedures. In: Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming (Seattle), pp. 311\u2013326. MIT Press, Cambridge (1988)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Bra\u00dfel, B., Hanus, M., Huch, F.: Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming\u00a02004(6) (2004)","DOI":"10.1007\/978-3-540-24836-1_14"},{"key":"5_CR23","first-page":"60","volume-title":"Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005)","author":"B. Bra\u00dfel","year":"2005","unstructured":"Bra\u00dfel, B., Huch, F.: Translating Curry to Haskell. In: Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 60\u201365. ACM Press, New York (2005)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.entcs.2007.01.009","volume":"177","author":"R. Caballero","year":"2007","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y.: Implementing Dynamic-Cut in TOY. Electronic Notes in Theoretical Computer Science\u00a0177, 153\u2013168 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/11737414_11","volume-title":"Functional and Logic Programming","author":"A. Casas","year":"2006","unstructured":"Casas, A., Cabeza, D., Hermenegildo, M.V.: A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 146\u2013162. Springer, Heidelberg (2006)"},{"key":"5_CR26","first-page":"1","volume-title":"Logic programming languages: constraints, functions, and objects","author":"P.H. Cheong","year":"1993","unstructured":"Cheong, P.H., Fribourg, L.: Implementation of Narrowing: The Prolog-Based Approach. In: Apt, K.R., de Bakker, J.W., Rutten, J.J.M.M. (eds.) Logic programming languages: constraints, functions, and objects, pp. 1\u201320. MIT Press, Cambridge (1993)"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1013963.1013969","volume-title":"Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming","author":"J.M. Cleva","year":"2004","unstructured":"Cleva, J.M., Leach, J., L\u00f3pez-Fraguas, F.J.: A logic programming approach to the verification of functional-logic programs. In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 9\u201319. ACM Press, New York (2004)"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/888251.888275","volume-title":"Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003)","author":"R. Vado Virseda del","year":"2003","unstructured":"del Vado Virseda, R.: A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp. 253\u2013263. ACM Press, New York (2003)"},{"key":"5_CR29","first-page":"243","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite Systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 243\u2013320. Elsevier, Amsterdam (1990)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-36388-2_22","volume-title":"Practical Aspects of Declarative Languages","author":"A.J. Fern\u00e1ndez","year":"2002","unstructured":"Fern\u00e1ndez, A.J., Hortal\u00e1-Gonz\u00e1lez, M.T., S\u00e1enz-P\u00e9rez, F.: Solving Combinatorial Problems with a Constraint Functional Logic Language. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 320\u2013338. Springer, Heidelberg (2002)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, A.J., Hortal\u00e1-Gonz\u00e1lez, M.T., S\u00e1enz-P\u00e9rez, F., del Vado-V\u00edrseda, R.: Constraint Functional Logic Programming over Finite Domains. Theory and Practice of Logic Programming (to appear, 2007)","DOI":"10.1017\/S1471068406002924"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1085099.1085110","volume-title":"Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005)","author":"S. Fischer","year":"2005","unstructured":"Fischer, S.: A Functional Logic Database Library. In: Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 54\u201359. ACM Press, New York (2005)"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/3-540-45788-7_3","volume-title":"Functional and Logic Programming","author":"M.J.G. Banda de la","year":"2002","unstructured":"de la Banda, M.J.G., Demoen, B., Marriott, K., Stuckey, P.J.: To the Gates of HAL: A HAL Tutorial. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol.\u00a02441, pp. 47\u201366. Springer, Heidelberg (2002)"},{"issue":"2","key":"5_CR34","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E. Giovannetti","year":"1991","unstructured":"Giovannetti, E., Levi, G., Moiso, C., Palamidessi, C.: Kernel LEAF: A Logic plus Functional Language. Journal of Computer and System Sciences\u00a042(2), 139\u2013185 (1991)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1les-Moreno, J.C., Hortal\u00e1-Gonz\u00e1lez, M.T., Rodr\u00edguez-Artalejo, M.: Polymorphic Types in Functional Logic Programming. Journal of Functional and Logic Programming 2001(1) (2001)","DOI":"10.1007\/10705424_1"},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","volume":"40","author":"J.C. Gonz\u00e1lez-Moreno","year":"1999","unstructured":"Gonz\u00e1lez-Moreno, J.C., Hortal\u00e1-Gonz\u00e1lez, M.T., L\u00f3pez-Fraguas, F.J., Rodr\u00edguez-Artalejo, M.: An approach to declarative programming based on a rewriting logic. Journal of Logic Programming\u00a040, 47\u201387 (1999)","journal-title":"Journal of Logic Programming"},{"key":"5_CR37","first-page":"153","volume-title":"Proc. of the Fourteenth International Conference on Logic Programming (ICLP 1997)","author":"J.C. Gonz\u00e1lez-Moreno","year":"1997","unstructured":"Gonz\u00e1lez-Moreno, J.C., Hortal\u00e1-Gonz\u00e1lez, M.T., Rodr\u00edguez-Artalejo, M.: A Higher Order Rewriting Logic for Functional Logic Programming. In: Proc. of the Fourteenth International Conference on Logic Programming (ICLP 1997), pp. 153\u2013167. MIT Press, Cambridge (1997)"},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"1920","author":"M. Hanus","year":"1994","unstructured":"Hanus, M.: The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming\u00a019&20, 583\u2013628 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"5_CR39","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00105-F","volume":"24","author":"M. Hanus","year":"1995","unstructured":"Hanus, M.: Analysis of Residuating Logic Programs. Journal of Logic Programming\u00a024(3), 161\u2013199 (1995)","journal-title":"Journal of Logic Programming"},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-60939-3_19","volume-title":"Logic Program Synthesis and Transformation","author":"M. Hanus","year":"1996","unstructured":"Hanus, M.: Efficient Translation of Lazy Functional Logic Programs into Prolog. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol.\u00a01048, pp. 252\u2013266. Springer, Heidelberg (1996)"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A Unified Computation Model for Functional and Logic Programming. In: Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80\u201393 (1997)","DOI":"10.1145\/263699.263710"},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/10704567_11","volume-title":"Principles and Practice of Declarative Programming","author":"M. Hanus","year":"1999","unstructured":"Hanus, M.: Distributed Programming in a Multi-Paradigm Declarative Language. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 376\u2013395. Springer, Heidelberg (1999)"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","first-page":"47","volume-title":"Practical Aspects of Declarative Languages","author":"M. Hanus","year":"2000","unstructured":"Hanus, M.: A Functional Logic Programming Approach to Graphical User Interfaces. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 47\u201362. Springer, Heidelberg (2000)"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-45241-9_6","volume-title":"Practical Aspects of Declarative Languages","author":"M. Hanus","year":"2001","unstructured":"Hanus, M.: High-Level Server Side Web Scripting in Curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 76\u201392. Springer, Heidelberg (2001)"},{"key":"5_CR45","volume-title":"Electronic Notes in Theoretical Computer Science","author":"M. Hanus","year":"2001","unstructured":"Hanus, M.: Reduction Strategies for Declarative Programming. In: Gramlich, B., Lucas, S. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a057, Elsevier Science Publishers, Amsterdam (2001)"},{"key":"5_CR46","unstructured":"Hanus, M.: CurryDoc: A Documentation Tool for Declarative Programs. In: Proc. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) Research Report UDMI\/18\/2002\/RR, University of Udine, pp. 225\u2013228 (2002)"},{"key":"5_CR47","unstructured":"Hanus, M.: Dynamic Predicates in Functional Logic Programs. Journal of Functional and Logic Programming, 2004(5) (2004)"},{"key":"5_CR48","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1085099.1085108","volume-title":"Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005)","author":"M. Hanus","year":"2005","unstructured":"Hanus, M.: A Generic Analysis Environment for Declarative Programs. In: Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 43\u201348. ACM Press, New York (2005)"},{"key":"5_CR49","first-page":"27","volume-title":"Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2006)","author":"M. Hanus","year":"2006","unstructured":"Hanus, M.: Type-Oriented Construction of Web User Interfaces. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2006), pp. 27\u201338. ACM Press, New York (2006)"},{"key":"5_CR50","doi-asserted-by":"crossref","unstructured":"Hanus, M., H\u00f6ppner, K.: Programming Autonomous Robots in Curry. Electronic Notes in Theoretical Computer Science, 76 (2002)","DOI":"10.1016\/S1571-0661(04)80793-X"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Hanus, M., H\u00f6ppner, K., Huch, F.: Towards Translating Embedded Curry to C. Electronic Notes in Theoretical Computer Science, 86(3) (2003)","DOI":"10.1016\/S1571-0661(04)80692-3"},{"key":"5_CR52","unstructured":"Hanus, M., Huch, F.: An Open System to Support Web-based Learning. In: Proc. 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003) Technical Report DSIC-II\/13\/03, Universidad Polit\u00e9cnica de Valencia, pp. 269\u2013282 (2003)"},{"key":"5_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-45361-X_6","volume-title":"Implementation of Functional Languages","author":"M. Hanus","year":"2001","unstructured":"Hanus, M., Huch, F., Niederau, P.: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 89\u2013106. Springer, Heidelberg (2001)"},{"key":"5_CR54","unstructured":"Hanus, M., Koj, J.: An Integrated Development Environment for Declarative Multi-Paradigm Programming. In: Proc. of the International Workshop on Logic Programming Environments (WLPE 2001), Paphos (Cyprus), Also available from the Computing Research Repository (CoRR) pp. 1\u201314 (2001), at http:\/\/arXiv.org\/abs\/cs.PL\/0111039"},{"issue":"1","key":"5_CR55","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0956796899003330","volume":"9","author":"M. Hanus","year":"1999","unstructured":"Hanus, M., Prehofer, C.: Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming\u00a09(1), 33\u201375 (1999)","journal-title":"Journal of Functional Programming"},{"key":"5_CR56","unstructured":"Hanus, M., Sadre, R.: An Abstract Machine for Curry and its Concurrent Implementation in Java. Journal of Functional and Logic Programming, 1999(6) (1999)"},{"key":"5_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BFb0056627","volume-title":"Principles of Declarative Programming","author":"M. Hanus","year":"1998","unstructured":"Hanus, M., Steiner, F.: Controlling Search in Declarative Programs. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 374\u2013390. Springer, Heidelberg (1998)"},{"key":"5_CR58","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language (Vers. 0.8.2) (2006), Available at http:\/\/www.informatik.uni-kiel.de\/~curry"},{"key":"5_CR59","first-page":"17","volume-title":"Research Topics in Functional Programming","author":"J. Hughes","year":"1990","unstructured":"Hughes, J.: Why Functional Programming Matters. In: Turner, D.A. (ed.) Research Topics in Functional Programming, pp. 17\u201342. Addison-Wesley, Reading (1990)"},{"key":"5_CR60","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(92)90026-Y","volume":"12","author":"H. Hussmann","year":"1992","unstructured":"Hussmann, H.: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Journal of Logic Programming\u00a012, 237\u2013255 (1992)","journal-title":"Journal of Logic Programming"},{"key":"5_CR61","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint Logic Programming. In: Proc. of the 14th ACM Symposium on Principles of Programming Languages, Munich, pp. 111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"key":"5_CR62","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Martin, J.A., Marino-Carballo, J., Moreno-Navarro, J.J.: Efficient Compilation of Lazy Narrowing into Prolog. In: Proc. Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR 1992) Springer Workshops in Computing Series, pp. 253\u2013270 (1992)","DOI":"10.1007\/978-1-4471-3560-9_18"},{"key":"5_CR63","first-page":"1","volume":"3","author":"J. Lloyd","year":"1999","unstructured":"Lloyd, J.: Programming in an Integrated Functional and Logic Language. Journal of Functional and Logic Programming, 3, 1\u201349 (1999)","journal-title":"Journal of Functional and Logic Programming"},{"key":"5_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-57186-8_79","volume-title":"Programming Language Implementation and Logic Programming","author":"R. Loogen","year":"1993","unstructured":"Loogen, R., L\u00f3pez Fraguas, F., Rodr\u00edguez Artalejo, M.: A Demand Driven Computation Strategy for Lazy Narrowing. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, pp. 184\u2013200. Springer, Heidelberg (1993)"},{"key":"5_CR65","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0304-3975(94)00225-8","volume":"142","author":"R. Loogen","year":"1995","unstructured":"Loogen, R., Winkler, S.: Dynamic Detection of Determinism in Functional Logic Languages. Theoretical Computer Science\u00a0142, 59\u201387 (1995)","journal-title":"Theoretical Computer Science"},{"key":"5_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Rewriting Techniques and Applications","author":"F. L\u00f3pez-Fraguas","year":"1999","unstructured":"L\u00f3pez-Fraguas, F., S\u00e1nchez-Hern\u00e1ndez, J.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)"},{"key":"5_CR67","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1013963.1013972","volume-title":"Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming","author":"F.J. L\u00f3pez-Fraguas","year":"2004","unstructured":"L\u00f3pez-Fraguas, F.J., Rodr\u00edguez-Artalejo, M., del Vado Virseda, R.: A lazy narrowing calculus for declarative constraint programming. In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 43\u201354. ACM Press, New York (2004)"},{"issue":"1","key":"5_CR68","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1017\/S1471068403001728","volume":"4","author":"F.J. L\u00f3pez-Fraguas","year":"2004","unstructured":"L\u00f3pez-Fraguas, F.J., S\u00e1nchez-Hern\u00e1ndez, J.: A Proof Theoretic Approach to Failure in Functional Logic Programming. Theory and Practice of Logic Programming\u00a04(1), 41\u201374 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"5_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/10705424_7","volume-title":"Functional and Logic Programming","author":"W. Lux","year":"1999","unstructured":"Lux, W.: Implementing Encapsulated Search for a Lazy Functional Logic Language. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 100\u2013113. Springer, Heidelberg (1999)"},{"key":"5_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-44716-4_12","volume-title":"Functional and Logic Programming","author":"W. Lux","year":"2001","unstructured":"Lux, W.: Adding Linear Constraints over Real Numbers to Curry. In: Kuchen, H., Ueda, K. (eds.) FLOPS 2001. LNCS, vol.\u00a02024, pp. 185\u2013200. Springer, Heidelberg (2001)"},{"key":"5_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/3-540-54444-5_84","volume-title":"Programming Language Implementation and Logic Programming","author":"L. Naish","year":"1991","unstructured":"Naish, L.: Adding equations to NU-Prolog. In: Ma\u0142uszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol.\u00a0528, pp. 15\u201326. Springer, Heidelberg (1991)"},{"key":"5_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08531-9","volume-title":"Computing in Systems Described by Equations","author":"M.J. O\u2019Donnell","year":"1977","unstructured":"O\u2019Donnell, M.J.: Computing in Systems Described by Equations. LNCS, vol.\u00a058. Springer, Heidelberg (1977)"},{"key":"5_CR73","volume-title":"Equational Logic as a Programming Language","author":"M.J. O\u2019Donnell","year":"1985","unstructured":"O\u2019Donnell, M.J.: Equational Logic as a Programming Language. MIT Press, Cambridge (1985)"},{"key":"5_CR74","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73824-1","volume-title":"Computing in Horn Clause Theories","author":"P. Padawitz","year":"1988","unstructured":"Padawitz, P.: Computing in Horn Clause Theories. EATCS Monographs on Theoretical Computer Science, vol.\u00a016. Springer, Heidelberg (1988)"},{"volume-title":"Haskell 98 Language and Libraries\u2014The Revised Report","year":"2003","key":"5_CR75","unstructured":"Peyton Jones, S. (ed.): Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR76","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/800194.805852","volume-title":"Proceedings of the ACM Annual Conference","author":"J.C. Reynolds","year":"1972","unstructured":"Reynolds, J.C.: Definitional Interpreters for Higher-Order Programming Languages. In: Proceedings of the ACM Annual Conference, pp. 717\u2013740. ACM Press, New York (1972)"},{"key":"5_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-45406-3_5","volume-title":"Constraints in Computational Logics. Theory and Applications","author":"M. Rodr\u00edguez-Artalejo","year":"2001","unstructured":"Rodr\u00edguez-Artalejo, M.: Functional and Constraint Logic Programming. In: Comon, H., March\u00e9, C., Treinen, R. (eds.) Constraints in Computational Logics. Theory and Applications. LNCS, vol.\u00a02002, pp. 202\u2013270. Springer, Heidelberg (2001)"},{"key":"5_CR78","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"key":"5_CR79","first-page":"505","volume-title":"Proc. of the 1994 International Logic Programming Symposium","author":"C. Schulte","year":"1994","unstructured":"Schulte, C., Smolka, G.: Encapsulated Search for Higher-Order Concurrent Constraint Programming. In: Proc. of the 1994 International Logic Programming Symposium, pp. 505\u2013520. MIT Press, Cambridge (1994)"},{"issue":"1","key":"5_CR80","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1006\/inco.1993.1026","volume":"104","author":"R.C. Sekar","year":"1993","unstructured":"Sekar, R.C., Ramakrishnan, I.V.: Programming in Equational Logic: Beyond Strong Sequentiality. Information and Computation\u00a0104(1), 78\u2013109 (1993)","journal-title":"Information and Computation"},{"issue":"4","key":"5_CR81","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1145\/321850.321859","volume":"21","author":"J.R. Slagle","year":"1974","unstructured":"Slagle, J.R.: Automated Theorem-Proving for Theories with Simplifiers, Commutativity, and Associativity. Journal of the ACM\u00a021(4), 622\u2013642 (1974)","journal-title":"Journal of the ACM"},{"key":"5_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz Programming Model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 324\u2013343. Springer, Heidelberg (1995)"},{"issue":"1-3","key":"5_CR83","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming\u00a029(1-3), 17\u201364 (1996)","journal-title":"Journal of Logic Programming"},{"key":"5_CR84","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"P. Roy Van","year":"2004","unstructured":"Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge (2004)"},{"issue":"5","key":"5_CR85","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/265943.265972","volume":"19","author":"P. Roy Van","year":"1997","unstructured":"Van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M., Scheidhauer, R.: Mobile Objects in Distributed Oz. ACM Transactions on Programming Languages and Systems\u00a019(5), 804\u2013851 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"5_CR86","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"P. Wadler","year":"1997","unstructured":"Wadler, P.: How to Declare an Imperative. ACM Computing Surveys\u00a029(3), 240\u2013263 (1997)","journal-title":"ACM Computing Surveys"},{"key":"5_CR87","first-page":"441","volume":"10","author":"D.H.D. Warren","year":"1982","unstructured":"Warren, D.H.D.: Higher-order extensions to PROLOG: are they needed. Machine Intelligence 10, 441\u2013454 (1982)","journal-title":"Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T22:26:27Z","timestamp":1684016787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_5","relation":{},"subject":[]}}