{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:18Z","timestamp":1742617158703,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:34Z","timestamp":1330258474000},"page":"12-27","source":"Crossref","is-referenced-by-count":3,"title":["Avoiding dynamic delays in functional logic programs"],"prefix":"10.1007","author":[{"given":"Johan","family":"Boye","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci. An overview of LIFE. In Schmidt, Stogny (eds.) Next generation information system technology, pp. 42\u201358, LNCS 504, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-54141-1_4"},{"key":"2_CR2","unstructured":"H. A\u00eft-Kaci, P. Lincoln and R. Nasr. LeFun: Logic, Equations and FUNctions. In Proc. 4th IEEE international symposium on logic programming, pp. 17\u201323, 1987."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"K. Apt and A. Pellegrini. Why the occur-check is not a problem. In Programming language implementation and logic programming, pp. 69\u201386, LNCS 631, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55844-6_128"},{"key":"2_CR4","unstructured":"J-L. Bouquard. \u00c9tude des rapports entre grammaires attribu\u00e9es et programmation logique: application au test d'occurrence et \u00e8 l'analyse statique, PhD thesis, University of Tours, 1992."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"J. Boye. S-SLD-resolution \u2014 an operational semantics for logic programs with external procedures. In Programming language implementation and logic programming, pp. 383\u2013393, LNCS 528, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54444-5_114"},{"key":"2_CR6","unstructured":"J. Boye, J. Paakki and J. Ma\u0142uszy\u0144ski. Dependency-based groundness analysis of functional logic programs. Research report LiTH-IDA-R-93-20, Link\u00f6ping university, 1993."},{"key":"2_CR7","unstructured":"P. Deransart, G. Ferrand and M. T\u00e9guia. NSTO programs. In Proc. of the international symposium on logic programming, pp. 533\u2013547, The MIT Press, 1991."},{"key":"2_CR8","unstructured":"P. Deransart, M. Jourdan and B. Lorho. Attribute grammars \u2014 Definitions, systems and bibliography. LNCS 323, Springer-Verlag, 1988."},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"P. Deransart and J. Ma\u0142uszy\u0144ski. Relating logic programs and attribute grammars. Journal of logic programming, 2(2), pp. 119\u2013156, 1985.","journal-title":"Journal of logic programming"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"P. Deransart and J. Ma\u0142uszy\u0144ski. A grammatical view on logic programming. The MIT Press. To appear 1993.","DOI":"10.7551\/mitpress\/3345.001.0001"},{"key":"2_CR11","unstructured":"B. Dumant. Checking the soundness of resolution schemes. In Proc. of the joint international conference and symposium on logic programming, pp. 37\u201351, The MIT Press, 1992."},{"key":"2_CR12","unstructured":"L. Fribourg. SLOG: A logic programming language interpreter based on clausal superposition and rewriting. In Proc. of the IEEE international symposium on logic programming, pp. 172\u2013184, Boston, 1985."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"M. Hanus. A functional and logic language with polymorphic types. In Proc. of the international symposium on design and implementation of symbolic computation systems, pp. 215\u2013224, LNCS 429, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52531-9_142"},{"key":"2_CR14","unstructured":"M. Hanus. On the completeness of residuation. In Proc. of the joint international conference and symposium on logic programming, pp. 192\u2013206, The MIT Press, 1992."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"S. H\u00f6lldobler. Foundations of equational logic programming. Lecture notes in artificial intelligence 353, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0015791"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. Knuth","year":"1968","unstructured":"D. Knuth. Semantics of context-free languages. Mathematical systems theory, 2, pp. 127\u2013145, 1968.","journal-title":"Mathematical systems theory"},{"key":"2_CR17","volume-title":"PHOENIX Seminar and Workshop on Declarative Programming, Workshops in Computing","author":"A. K\u00e5gedal","year":"1991","unstructured":"A. K\u00e5gedal and F. Klu\u017aniak. Enriching Prolog with S-unification. In Darlington and Dietrich, (eds.), PHOENIX Seminar and Workshop on Declarative Programming, Workshops in Computing, Sasbachwalden, Germany. Springer-Verlag, 1991."},{"key":"2_CR18","unstructured":"J. Ma\u0142uszy\u0144ski, S. Bonnier, J. Boye, F. Klu\u017aniak, A. K\u00e5gedal and U. Nilsson. Logic programs with external procedures. In Apt, de Bakker, Rutten (eds.) Logic programming languages: constraints, functions and objects. The MIT Press, 1993."},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J. Moreno-Navarro","year":"1992","unstructured":"J. Moreno-Navarro and M. Rodriguez-Artalejo. Logic programming with functions and predicates: the language BABEL. Journal of logic programming (12), pp. 191\u2013223, 1992.","journal-title":"Journal of logic programming"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"L. Naish. Adding equations to NU-Prolog. In Programming language implementation and logic programming, pp. 15\u201326, LNCS 528, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54444-5_84"},{"key":"2_CR21","unstructured":"U. Nilsson and J. Ma\u0142uszy\u0144ski. Logic, programming and Prolog. John Wiley and sons, 1990."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"L. Pl\u00fcmer. Termination proofs for logic programs. Lecture notes in artificial intelligence 446, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52837-7"},{"key":"2_CR23","unstructured":"P. Sundblad. Transformation of GAPLog programs (preliminary title). Master's thesis, Link\u00f6ping university, 1993."}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:01:36Z","timestamp":1742594496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}