{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:15:19Z","timestamp":1742951719058,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225307"},{"type":"electronic","value":"9783642225314"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22531-4_2","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T03:34:11Z","timestamp":1310614451000},"page":"19-34","source":"Crossref","is-referenced-by-count":5,"title":["New Functional Logic Design Patterns"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"2_CR1","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1016\/j.jsc.2010.01.006","volume":"45","author":"S. Antoy","year":"2010","unstructured":"Antoy, S.: Programming with narrowing. Journal of Symbolic Computation\u00a045(5), 501\u2013522 (2010)","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"2_CR2","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":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"2_CR4","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":"2_CR5","doi-asserted-by":"crossref","unstructured":"Antoy, S., Hanus, M.: Set functions for functional logic programming. In: Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2009), Lisbon, Portugal, pp. 73\u201382 (September 2009)","DOI":"10.1145\/1599410.1599420"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Beck, K., Cunningham, W.: Using pattern languages for object-oriented programs. In: Specification and Design for Object-Oriented Programming, OOPSLA 1987 (1987)","DOI":"10.1145\/28697.28734"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/10705424_6","volume-title":"Functional and Logic Programming","author":"R. Caballero","year":"1999","unstructured":"Caballero, R., L\u00f3pez-Fraguas, F.: A functional-logic perspective of parsing. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 85\u201399. Springer, Heidelberg (1999)"},{"key":"2_CR8","unstructured":"Caballero, R., S\u00e1nchez, J. (eds.): TOY: A Multiparadigm Declarative Language, version 2.3.1 (2007), http:\/\/toy.sourceforge.net"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/3-540-46562-6_26","volume-title":"Perspectives of System Informatics","author":"R. Caballero","year":"2000","unstructured":"Caballero, R., L\u00f3pez-Fraguas, F.J.: Extensions: A technique for structuring functional-logic programs. In: Bjorner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol.\u00a01755, pp. 297\u2013310. Springer, Heidelberg (2000)"},{"key":"2_CR10","unstructured":"Cooper, J.W.: Java Design Patterns. AddisonWesley, London (2000)"},{"key":"2_CR11","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. AddisonWesley, London (1994)"},{"key":"2_CR12","volume-title":"Patterns in Java","author":"M. Grand","year":"1998","unstructured":"Grand, M.: Patterns in Java. J. Wiley, Chichester (1998)"},{"key":"2_CR13","unstructured":"Hanus, M.: Currytest: A tool for testing Curry programs, http:\/\/www-ps.informatik.uni-kiel.de\/currywiki\/tools\/currytest (accessed April 13, 2011)"},{"key":"2_CR14","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":"2_CR15","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":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-46584-7_4","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":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"2_CR18","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":"2_CR19","unstructured":"Hanus, M.: Declarative processing of semistructured web data. Technical report 1103, Christian-Albrechts-Universit\u00e4t Kiel (2011)"},{"key":"2_CR20","unstructured":"Hanus, M., Antoy, S., Bra\u00dfel, B., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2011), http:\/\/www.informatik.uni-kiel.de\/~pakcs\/"},{"key":"2_CR21","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":"2_CR22","unstructured":"Hanus, M. (ed.): Curry: An integrated functional logic language (vers. 0.8.2) (March 28, 2006), http:\/\/www.informatik.uni-kiel.de\/~curry"},{"key":"2_CR23","unstructured":"Hudak, P., Peterson, J., Fasel, J.: A gentle introduction to Haskell 98 (1999), http:\/\/www.haskell.org\/tutorial\/monads.html"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Rewriting Techniques and Applications","author":"F.J.L. Fraguas","year":"1999","unstructured":"Fraguas, F.J.L., Hern\u00e1ndez, J.S.: TOY: A multiparadigm declarative system. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)"},{"key":"2_CR25","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":"2_CR26","unstructured":"Peyton Jones, S.L., Hughes, J.: Haskell 98: A non-strict, purely functional language (1999), http:\/\/www.haskell.org"},{"key":"2_CR27","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":"2_CR28","unstructured":"Wikipedia, the free encyclopedia. Four color theorem, http:\/\/en.wikipedia.org\/wiki\/Four_color_theorem (accessed April 8, 2011)"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22531-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,21]],"date-time":"2020-06-21T08:55:06Z","timestamp":1592729706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22531-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225307","9783642225314"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22531-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}