A Higher Order Rewriting Logic for Functional Logic Programming

  title={A Higher Order Rewriting Logic for Functional Logic Programming},
  author={Juan Carlos Gonz{\'a}lez Moreno and Maria Teresa Hortal{\'a}-Gonz{\'a}lez and Mario Rodr{\'i}guez-Artalejo},
According to a well known conception, programs in a declarative programming language can be viewed as theories in some suitable logic, while computations can be viewed as deductions. In our opinion, there is yet no general assent on the logic to be viewed as the foundation of higher order, lazy functional logic languages. In this paper, we argue that a specific rewriting logic can play this role, and we justify the adequacy of our proposal by means of proof-theoretical and model-theoretical… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS

1 Figure or Table



Citations per Year

56 Citations

Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.