IDEAL & K-LEAF implementation: a progress report

  • P. G. Bosco
  • C. Cecchi
  • C. Moiso
Project 415 Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 365)

Keywords

Virtual Machine Functional Language Functional Head Sequential Implementation Relational Atom 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Augustsson85]
    L. Augustsson, Compiling pattern matching, Proc. 2nd Conf. on Functional Programming Languages and Computer Architecture, LNCS 201 (Springer-Verlag, 1985), 368–381.Google Scholar
  2. [Augustsson87]
    L. Augustsson, Compiling lazy functional languages Part II, PhD thesis, Chalmers University of Technology, Goteborg (1987).Google Scholar
  3. [Balboni87]
    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).Google Scholar
  4. [Bellia87]
    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.Google Scholar
  5. [Bosco86]
    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.Google Scholar
  6. [Bosco87a]
    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.Google Scholar
  7. [Bosco87b]
    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).Google Scholar
  8. [Bosco88a]
    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.CrossRefGoogle Scholar
  9. [Bosco88b]
    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.Google Scholar
  10. [Bosco88c]
    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).Google Scholar
  11. [Bosco88d]
    P.G. Bosco, C. Cecchi and C. Moiso, Compilation tools for IDEAL/K-LEAF, ESPRIT Project 415, Subproject D, Deliverable D6 (1988).Google Scholar
  12. [Bosco89]
    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).Google Scholar
  13. [Brus87]
    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.Google Scholar
  14. [Burn87]
    G. L. Burn, Abstract interpretation and the parallel evaluation of functional languages, PhD Thesis, University of London (1987).Google Scholar
  15. [Burn88]
    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).Google Scholar
  16. [Carlsson88]
    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.Google Scholar
  17. [Giandonato88]
    G. Giandonato and G. Sofi, Parallelizing logic programming based inference engines, Proc. of the International Conference on Supercomputing (1988), 282–287.Google Scholar
  18. [Merlo88]
    C. Merlo, C. Moiso, M. Porta, G. Sofi, Parallel Prolog for signal-understanding parallel machines, ESPRIT Pilot Project 26, Deliverable 14b (1988).Google Scholar
  19. [PeytonJones87]
    S.L Peyton Jones, The implementation of functional programming languages (Prentice-Hall, 1987).Google Scholar
  20. [Warren83]
    D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International (Oct.1983).Google Scholar
  21. [Warren87]
    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.Google Scholar
  22. [Watson87]
    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.Google Scholar
  23. [Westphal87]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • P. G. Bosco
    • 1
  • C. Cecchi
    • 1
  • C. Moiso
    • 1
  1. 1.CSELTTorinoItaly

Personalised recommendations