A Correctness Proof for Warren's HO into FO Translation

  title={A Correctness Proof for Warren's HO into FO Translation},
  author={Juan Carlos Gonz{\'a}lez Moreno},
In 17], Warren suggested a method for embedding higher-order (HO) programming constructs into Prolog, that can be viewed as a kind of higher-order into rst-order (FO) translation. This method has been used in diierent settings as a tool for the combination of functional and logic programming 3, 2, 1], or even for the reduction of the former to the later 4]. The present paper was motivated by our feeling that the semantic correctness of Warren's translation is not yet suuciently well understood… CONTINUE READING
10 Citations
1 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.

Complete semantic caracterization of K- LEAF, a logic language with partial functions

  • G.Levi, C.Palamidessi, P.G.Bosco, E.Giovannetti, C.Moiso
  • In Proc. 1987 Symp. on Logic Programming,
  • 1987
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…