{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T12:26:05Z","timestamp":1772022365117,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540572640","type":"print"},{"value":"9783540480273","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:33:08Z","timestamp":1330259588000},"page":"165-177","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of directionality information for functional logic programs"],"prefix":"10.1007","author":[{"given":"Johan","family":"Boye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jukka","family":"Paakki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00cft-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":"14_CR2","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":"14_CR3","doi-asserted-by":"crossref","unstructured":"J. Boye. Avoiding dynamic delays in functional logic programs. In Programming language implementation and logic programming, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57186-8_68"},{"key":"14_CR4","unstructured":"J. Boye, J. Paakki and J. Maluszy\u0144ski. Dependency-based groundness analysis of functional logic programs. Research report LiTH-IDA-R-93-20, Department of computer and information science, Link\u00f6ping university, 1993."},{"key":"14_CR5","unstructured":"P. Deransart. Proof methods of declarative properties of logic programs. Report 1248, INRIA Rocquencourt, 1990."},{"key":"14_CR6","unstructured":"P. Deransart, M. Jourdan and B. Lorho. Attribute grammars \u2014 Definitions, systems and bibliography. LNCS 323, Springer-Verlag, 1988."},{"issue":"2","key":"14_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"P. Deransart and J. Maluszy\u0144ski. Relating logic programs and attribute grammars. Journal of logic programming, 2(2), pp. 119\u2013156, 1985.","journal-title":"Journal of logic programming"},{"key":"14_CR8","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":"14_CR9","doi-asserted-by":"crossref","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":"14_CR10","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":"14_CR11","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":"14_CR12","unstructured":"J. Paakki. Multi-pass evaluation of functional logic programs. Research report LiTH-IDA-R-93-02, Department of computer and information science, Link\u00f6ping university, 1993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:27Z","timestamp":1605647427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}