Kernel-LEAF: A Logic plus Functional Language

@article{Giovannetti1991KernelLEAFAL,
  title={Kernel-LEAF: A Logic plus Functional Language},
  author={Elio Giovannetti and Giorgio Levi and Corrado Moiso and Catuscia Palamidessi},
  journal={J. Comput. Syst. Sci.},
  year={1991},
  volume={42},
  pages={139-185}
}
Kernel-LEAF is a logic plus functional language based on the flattening technique. It differs from other similar languages because it is able to cope with partial (undefined or nonterminating) functions. This is achieved by introducing the distinction between data structures and (functional) term structures, and by using two kinds of equality. The language has a clean model-theoretic semantics, where the domains of the interpretations are the algebraic CPOs. In these domains the difference… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 37 references

Mo~so, An extension of WAM for K-LEAF: A WAM-based compilation of conditional narrowing, in “Proc

  • P. G. Bosco, C. CECCHI
  • Sixth Conf. on Logic Programming,
  • 1989

And C

  • P. G. Bosco, E. GIOVANNETTI
  • Mo~so, A completeness result for a semantic…
  • 1987

Introduction to Logic Programming,” Tech

  • APT K.R.
  • Rep. CSR8741, CWI, Amsterdam.
  • 1987

P

  • G. LEVI, C. PALAMIDESSI
  • G. Bosco, E. GIOVANNETTI, AND C. Mo~so, A…
  • 1987
1 Excerpt

C

  • E. GIOVANNETTI, G. LEVI
  • Mo~so, AND C. PALAMIDESSI, “Kernel LEAF: An…
  • 1986

E

  • AN P.G. Bosco
  • GIOVANNETTI, A Prolog-compiled higher-order…
  • 1986

Similar Papers

Loading similar papers…