{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194755},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_11","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"188-205","source":"Crossref","is-referenced-by-count":15,"title":["Distributed Programming in a Multi-Paradigm Declarative Language"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. In: Proc. 21st ACM Symp. on Principles of Programming Languages, pp. 268\u2013279 (1994)","key":"11_CR1","DOI":"10.1145\/174675.177899"},{"key":"11_CR2","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Williams, M., Wikstrom, C., Virding, R.: Concurrent Programming in Erlang. Prentice Hall, Englewood Cliffs (1996)"},{"key":"11_CR3","volume-title":"Fuji International Workshop on Functional and Logic Programming","author":"S. Breitinger","year":"1995","unstructured":"Breitinger, S., Loogen, R., Ortega-Mallen, Y.: Concurrency in Functional and Logic Programming. In: Fuji International Workshop on Functional and Logic Programming. World Scientific Publ., Singapore (1995)"},{"key":"11_CR4","volume-title":"Proc. of the Third Fuji International Symposium on Functional and Logic Programming","author":"M.M.T. Chakravarty","year":"1998","unstructured":"Chakravarty, M.M.T., Guo, Y., K\u00f6hler, M.: Distributed Haskell: Goffin on the Internet. In: Proc. of the Third Fuji International Symposium on Functional and Logic Programming, World Scientific. Singapore (1998)"},{"issue":"2","key":"11_CR5","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":"11_CR6","first-page":"153","volume-title":"Proc. Int. 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. Int. Conference on Logic Programming (ICLP 1997), pp. 153\u2013167. MIT Press, Cambridge (1997)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19,20","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":"11_CR8","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"},{"doi-asserted-by":"crossref","unstructured":"Hanus, M.: A Unified Computation Model for Functional and Logic Programming. In: Proc. 24th ACM Symp. Principles of Programming Languages, pp. 80\u201393 (1997)","key":"11_CR9","DOI":"10.1145\/263699.263710"},{"unstructured":"Hanus, M., R\u00e9ty, P.: Demand-driven Search in Functional Logic Programs. Research Report RR-LIFO-98-08, Univ. Orl\u00e9ans (1998)","key":"11_CR10"},{"unstructured":"Hanus, M., Sadre, R.: An Abstract Machine for Curry and its Concurrent Implementation in Java. Journal of Functional and Logic Programming\u00a0(6) (1999)","key":"11_CR11"},{"key":"11_CR12","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)"},{"unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language, Vers. 0.5 (1999), Available at http:\/\/wwwi2.informatik.rwth-aachen.de\/~hanus\/curry","key":"11_CR13"},{"key":"11_CR14","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":"11_CR15","first-page":"167","volume-title":"Proc. 1991 Int. Logic Programming Symposium","author":"S. Janson","year":"1991","unstructured":"Janson, S., Haridi, S.: Programming Paradigms of the Andorra Kernel Language. In: Proc. 1991 Int. Logic Programming Symposium, pp. 167\u2013183. MIT Press, Cambridge (1991)"},{"doi-asserted-by":"crossref","unstructured":"Janson, S., Montelius, J., Haridi, S.: Ports for Objects in Concurrent Logic Programs. In: Research Directions in Concurrent Object-Oriented Programming. MIT Press, Cambridge (1993)","key":"11_CR16","DOI":"10.7551\/mitpress\/2087.003.0012"},{"doi-asserted-by":"crossref","unstructured":"Liskov, B., Shrira, L.: Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. In: Proc. SIGPLAN 1988 Conference on Programming Language Design and Implementation, pp. 260\u2013267 (1988)","key":"11_CR17","DOI":"10.1145\/53990.54016"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"11_CR19","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":"Moreno-Navarro, J.J., Rodr\u00edguez-Artalejo, M.: Logic Programming with Functions and Predicates: The Language BABEL. Journal of Logic Programming\u00a012, 191\u2013223 (1992)","journal-title":"Journal of Logic Programming"},{"unstructured":"Peterson, J., et al.: Haskell: A Non-strict, Purely Functional Language (Version 1.4). Technical Report, Yale University (1997)","key":"11_CR20"},{"doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Gordon, A., Finne, S.: Concurrent Haskell. In: Proc. 23rd ACM Symp. on Principles of Programming Languages, pp. 295\u2013308 (1996)","key":"11_CR21","DOI":"10.1145\/237721.237794"},{"key":"11_CR22","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)"},{"issue":"3","key":"11_CR23","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The family of concurrent logic programming languages. ACM Computing Surveys\u00a021(3), 412\u2013510 (1989)","journal-title":"ACM Computing Surveys"},{"key":"11_CR24","first-page":"251","volume-title":"Concurrent Prolog: Collected Papers","author":"E. Shapiro","year":"1987","unstructured":"Shapiro, E., Takeuchi, A.: Object Oriented Programming in Concurrent Prolog. In: Concurrent Prolog: Collected Papers, vol.\u00a02, pp. 251\u2013273. MIT Press, Cambridge (1987)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","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. 325\u2013343. Springer, Heidelberg (1995)"},{"issue":"5","key":"11_CR26","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 TOPLAS\u00a019(5), 804\u2013851 (1997)","journal-title":"ACM TOPLAS"},{"key":"11_CR27","first-page":"18","volume-title":"Proc. of the 1995 International Logic Programming Symposium","author":"P. Wadler","year":"1995","unstructured":"Wadler, P.: How to Declare an Imperative. In: Proc. of the 1995 International Logic Programming Symposium, pp. 18\u201332. MIT Press, Cambridge (1995)"},{"key":"11_CR28","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\u00a010, 441\u2013454 (1982)","journal-title":"Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:03:14Z","timestamp":1707498194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/10704567_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}