3 citations · 7 across the 3 of their papers we have counts for
3 papers
The Full Abstraction Problem for Higher Order Functional-Logic Programs
F. J. López-Fraguas, J. Rodríguez-Hortalá
Developing suitable formal semantics can be of great help in the understanding, design and implementation of a programming language, and act as a guide for software development too…
A Lightweight Combination of Semantics for Non-deterministic Functions
Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez
The use of non-deterministic functions is a distinctive feature of modern functional logic languages. The semantics commonly adopted is call-time choice, a notion that at the opera…
A Proof Theoretic Approach to Failure in Functional Logic Programming
Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers…