{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:50Z","timestamp":1725663650599},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512844"},{"type":"electronic","value":"9783540461838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3540512845_54","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:50:36Z","timestamp":1330203036000},"page":"413-432","source":"Crossref","is-referenced-by-count":1,"title":["IDEAL & K-LEAF implementation: a progress report"],"prefix":"10.1007","author":[{"given":"P. G.","family":"Bosco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Cecchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Moiso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson, Compiling pattern matching, Proc. 2nd Conf. on Functional Programming Languages and Computer Architecture, LNCS 201 (Springer-Verlag, 1985), 368\u2013381.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"26_CR2","volume-title":"Compiling lazy functional languages Part II","author":"L. Augustsson","year":"1987","unstructured":"L. Augustsson, Compiling lazy functional languages Part II, PhD thesis, Chalmers University of Technology, Goteborg (1987)."},{"key":"26_CR3","unstructured":"G.P. Balboni, G.Giandonato and R.Melen, A parallel architecture for AI-based real-time applications, in Proc. 1987 AFCEA European Symposium (Rome, 1987)."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"M. Bellia, P.G. Bosco, E. Giovannetti, G. Levi, C. Moiso and C. Palamidessi, A two-level approach to logic plus functional programming integration, in Proc. PARLE Conference, LNCS 258 (Springer-Verlag, 1987), 374\u2013393.","DOI":"10.1007\/3-540-17943-7_140"},{"key":"26_CR5","unstructured":"P.G. Bosco and E. Giovannetti, IDEAL: An Ideal DEductive Applicative Language, in Proc. 1986 Symp. on Logic Programming (IEEE Comp. Society Press, 1986), 89\u201394."},{"key":"26_CR6","unstructured":"P.G. Bosco, E. Giovannetti, G. Levi, C. Moiso and C. Palamidessi, A complete semantic characterization of K-LEAF, a logic language with partial functions, in Proc. 1987 Symp. on Logic Programming (IEEE Comp. Society Press, 1987), 318\u2013327."},{"key":"26_CR7","unstructured":"P.G. Bosco, C. Cecchi and C. Moiso, Feasible Computational Models for Logic plus Functional Programming Integration, ESPRIT Project 415, Subproject D, Deliverable D3 (1987)."},{"issue":"1\u20132","key":"26_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","volume":"59","author":"P.G. Bosco","year":"1988","unstructured":"P.G. Bosco, E. Giovannetti and C. Moiso, Narrowing vs. SLD-resolution, J. of Theoretical Computer Science, Vol. 59, no 1\u20132 (North-Holland, 1988), 3\u201323.","journal-title":"J. of Theoretical Computer Science"},{"key":"26_CR9","unstructured":"P.G. Bosco, C. Cecchi and C. Moiso, Exploiting the full power of logic plus functional programming, Proc. 5th Conf. and Symp. on Logic Programming (MIT Press, 1988), 3\u201317."},{"key":"26_CR10","unstructured":"P.G. Bosco, C. Cecchi, C. Moiso and G. Sofi, The abstract parallel machine for IDEAL\/K-LEAF, ESPRIT Project 415, Subproject D, Deliverable D5 (1988)."},{"key":"26_CR11","unstructured":"P.G. Bosco, C. Cecchi and C. Moiso, Compilation tools for IDEAL\/K-LEAF, ESPRIT Project 415, Subproject D, Deliverable D6 (1988)."},{"key":"26_CR12","unstructured":"P.G. Bosco, C. Cecchi and C. Moiso, An extension of WAM for K-LEAF: a WAM based compilation of conditional narrowing, to appear in Proc. 6th Conf. on Logic Programming (MIT Press)."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"T.H. Brus, M.C. van Eekelen, M.O. van Leer and M.J. Plasmeijer, CLEAN: a language for functional graph rewriting, Proc. 2nd Conf. on Functional Programming Languages and Architecture, LNCS 274 (Springer-Verlag, 1987), 364\u2013374.","DOI":"10.1007\/3-540-18317-5_20"},{"key":"26_CR14","unstructured":"G. L. Burn, Abstract interpretation and the parallel evaluation of functional languages, PhD Thesis, University of London (1987)."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"G.L. Burn, S.L. Peyton Jones and J.D. Robson, The Spineless G-Machine, Proc. of 1988 ACM Lisp and Functional Programming Conference (ACM, 1988).","DOI":"10.1145\/62678.62717"},{"key":"26_CR16","unstructured":"M. Carlsson, K. Danhof, R. Overbeek, A simplified approach to the implementation of AND-parallelism in an OR-parallel environment, Proc. 5th Conf. and Symp. on Logic Programming (MIT Press, 1988), 1565\u20131577."},{"key":"26_CR17","unstructured":"G. Giandonato and G. Sofi, Parallelizing logic programming based inference engines, Proc. of the International Conference on Supercomputing (1988), 282\u2013287."},{"key":"26_CR18","unstructured":"C. Merlo, C. Moiso, M. Porta, G. Sofi, Parallel Prolog for signal-understanding parallel machines, ESPRIT Pilot Project 26, Deliverable 14b (1988)."},{"key":"26_CR19","unstructured":"S.L Peyton Jones, The implementation of functional programming languages (Prentice-Hall, 1987)."},{"key":"26_CR20","unstructured":"D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International (Oct.1983)."},{"key":"26_CR21","unstructured":"D.H.D. Warren, The SRI Model for OR-Parallel Execution of Prolog. Abstract Design and Implementation, Proc. 1987 Symp. on Logic Programming (IEEE Comp. Society Press, 1987), 92\u2013103."},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"P. Watson, I. Watson, Evaluating Functional Programs on the FLAGSHIP Machine, Proc. Conf. on Functional Programming Languages and Architectures LNCS 274, (Springer-Verlag, 1987), 80\u201397.","DOI":"10.1007\/3-540-18317-5_6"},{"key":"26_CR23","unstructured":"H.Westphal, P. Robert, J. Chassin and J.C. Syre, The PEPSys model: combining backtracking AND-and OR-parallelism, Proc. 1987 Symp. on Logic Programming (IEEE Comp. Society Press, 1987), 436\u2013448."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540512845_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:38Z","timestamp":1605648038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540512845_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512844","9783540461838"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3540512845_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}