{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:37Z","timestamp":1725559237668},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260943"},{"type":"electronic","value":"9783540320388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431664_7","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T13:29:11Z","timestamp":1279027751000},"page":"108-125","source":"Crossref","is-referenced-by-count":14,"title":["A Virtual Machine for Functional Logic Computations"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jimeng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tolmach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation (2005) (to appear)","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"7_CR2","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.) ALP 1992. LNCS, vol.\u00a0632, pp. 143\u2013157. Springer, Heidelberg (1992)"},{"key":"7_CR3","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":"7_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/773184.773205","volume-title":"Proc. of the 3rd International 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 Conference on Principles and Practice of Declarative Programming (PPDP 2001), Florence, Italy, pp. 199\u2013206. ACM, New York (2001)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Antoy, S.: Evaluation strategies for functional logic programming. Journal of Symbolic Computation (2005) (to appear)","DOI":"10.1016\/j.jsc.2004.12.007"},{"issue":"4","key":"7_CR6","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":"7_CR7","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.) FroCos 2000. LNCS, vol.\u00a01794, pp. 171\u2013185. Springer, Heidelberg (2000)"},{"key":"7_CR8","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":"#cr-split#-7_CR9.1","unstructured":"Antoy, S., Johnson, S.: TeaBag: A functional logic language debugger. In: Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004), Aachen, Germany, pp. 4???18 (2004);"},{"key":"#cr-split#-7_CR9.2","unstructured":"Technical Report AIB-2004-05, RWTH Aachen"},{"issue":"2-4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0096-0551(97)00012-X","volume":"23","author":"M.M.T. Chakravarty","year":"1997","unstructured":"Chakravarty, M.M.T., Lock, H.C.R.: Towards the uniform implementation of declarative languages. Computer Languages\u00a023(2-4), 121\u2013160 (1997)","journal-title":"Computer Languages"},{"key":"7_CR11","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., L\u00f3pez Fraguas, F.J., Hortal\u00e1 Gonz\u00e1lez, M.T., Rodr\u00edguez Artalejo, M.: An approach to declarative programming based on a rewriting logic. The Journal of Logic Programming\u00a040, 47\u201387 (1999)","journal-title":"The Journal of Logic Programming"},{"key":"7_CR12","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"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A unified computation model for functional and logic programming. In: Proc. 24st ACM Symposium on Principles of Programming Languages (POPL 1997), pp. 80\u201393 (1997)","DOI":"10.1145\/263699.263710"},{"key":"7_CR14","unstructured":"Hanus, M., Antoy, S., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2004), Available at, \n                  \n                    http:\/\/www.informatik.uni-kiel.de\/~pakcs\/"},{"issue":"1","key":"7_CR15","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":"7_CR16","unstructured":"Hanus, M., Sadre, R.: An abstract machine for Curry and its concurrent implementation in Java. Journal of Functional and Logic Programming\u00a01999(6) (1999)"},{"key":"7_CR17","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":"7_CR18","unstructured":"Hanus, M. (ed.): Curry: An integrated functional logic language (vers. 0.8) (2003), Available at, \n                  \n                    http:\/\/www.informatik.uni-kiel.de\/~curry"},{"key":"7_CR19","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. 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":"7_CR20","first-page":"390","volume-title":"Informatik 1999 \u2014 Annual meeting of the German Computer Science Society (GI)","author":"W. Lux","year":"1999","unstructured":"Lux, W., Kuchen, H.: An efficient abstract machine for Curry. In: Beiersd\u00f6rfer, K., Engels, G., Sch\u00e4fer, W. (eds.) Informatik 1999 \u2014 Annual meeting of the German Computer Science Society (GI), pp. 390\u2013399. Springer, Heidelberg (1999)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Middeldorp, A.: Call by need computations to root-stable form. In: Proc. 24th ACM Symposium on Principles of Programming Languages, Paris, pp. 94\u2013105 (1997)","DOI":"10.1145\/263699.263711"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/1016850.1016865","volume-title":"Proc. of the Ninth International Conference on Functional Programming (ICFP 2004)","author":"A. Tolmach","year":"2004","unstructured":"Tolmach, A., Antoy, S., Nita, M.: Implementing functional logic languages using multiple threads and stores. In: Proc. of the Ninth International Conference on Functional Programming (ICFP 2004), Snowbird, Utah, USA, pp. 90\u2013102. ACM Press, New York (2004)"},{"key":"7_CR23","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","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431664_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:37:12Z","timestamp":1619505432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431664_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260943","9783540320388"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11431664_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}