This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
L. Augustsson, Compiling pattern matching, Proc. 2nd Conf. on Functional Programming Languages and Computer Architecture, LNCS 201 (Springer-Verlag, 1985), 368–381.
L. Augustsson, Compiling lazy functional languages Part II, PhD thesis, Chalmers University of Technology, Goteborg (1987).
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).
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–393.
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–94.
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–327.
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).
P.G. Bosco, E. Giovannetti and C. Moiso, Narrowing vs. SLD-resolution, J. of Theoretical Computer Science, Vol. 59, no 1–2 (North-Holland, 1988), 3–23.
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–17.
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).
P.G. Bosco, C. Cecchi and C. Moiso, Compilation tools for IDEAL/K-LEAF, ESPRIT Project 415, Subproject D, Deliverable D6 (1988).
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).
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–374.
G. L. Burn, Abstract interpretation and the parallel evaluation of functional languages, PhD Thesis, University of London (1987).
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).
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–1577.
G. Giandonato and G. Sofi, Parallelizing logic programming based inference engines, Proc. of the International Conference on Supercomputing (1988), 282–287.
C. Merlo, C. Moiso, M. Porta, G. Sofi, Parallel Prolog for signal-understanding parallel machines, ESPRIT Pilot Project 26, Deliverable 14b (1988).
S.L Peyton Jones, The implementation of functional programming languages (Prentice-Hall, 1987).
D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International (Oct.1983).
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–103.
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–97.
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–448.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosco, P.G., Cecchi, C., Moiso, C. (1989). IDEAL & K-LEAF implementation: a progress report. In: Odijk, E., Rem, M., Syre, JC. (eds) PARLE '89 Parallel Architectures and Languages Europe. PARLE 1989. Lecture Notes in Computer Science, vol 365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540512845_54
Download citation
DOI: https://doi.org/10.1007/3540512845_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51284-4
Online ISBN: 978-3-540-46183-8
eBook Packages: Springer Book Archive