An approach to declarative programming based on a rewriting logic. Zbl 0942.68060
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M. |
|
1999
|
A demand driven computation strategy for lazy narrowing. Zbl 0791.68021
Loogen, Rita; López Fraguas, Francisco; Rodríguez-Artalejo, Mario |
|
1993
|
Theoretical foundations for the declarative debugging of lazy functional logic programs. Zbl 0977.68510
Caballero, Rafael; López-Fraguas, Francisco J.; Rodríguez-Artalejo, Mario |
|
2001
|
Extra variables can be eliminated from functional logic programs. Zbl 1278.68063
de Dios Castro, Javier; López-Fraguas, Francisco J. |
|
2007
|
Rewriting and call-time choice: The HO case. Zbl 1137.68338
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime |
|
2008
|
A proof theoretic approach to failure in functional logic programming. Zbl 1085.68021
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime |
|
2004
|
A new generic scheme for functional logic programming with constraints. Zbl 1115.68048
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael |
|
2007
|
Proving failure in functional logic programs. Zbl 0983.68503
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime |
|
2000
|
A functional-logic perspective of parsing. Zbl 0988.68524
Caballero, Rafael; López-Fraguas, Francisco J. |
|
1999
|
Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051
López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J. |
|
2007
|
Functional logic programming with failure: a set-oriented view. Zbl 1275.68047
López-Fraguas, F. J.; Sánchez-Hernández, J. |
|
2001
|
Narrowing failure in functional logic programming. Zbl 1019.68018
López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime |
|
2002
|
New results on type systems for functional logic programming. Zbl 1274.68045
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan |
|
2010
|
Rewriting and narrowing for constructor systems with call-time choice semantics. Zbl 1286.68265
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime |
|
2014
|
A fully abstract semantics for constructor systems. Zbl 1242.68137
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime |
|
2009
|
Constraint functional logic programming revisited. Zbl 1272.68078
López-Fraguas, F. Javier; Rodríguez-Artalejo, Mario; del Vado Vírseda, Rafael |
|
2005
|
Dynamic-cut with definitional trees. Zbl 1019.68513
Caballero, Rafael; López-Fraguas, Francisco Javier |
|
2002
|
Polymorphic types in Erlang function specifications. Zbl 1475.68066
López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan |
|
2016
|
Improving deterministic computations in lazy functional logic languages. Zbl 1034.68016
Caballero, Rafael; López-Fraguas, Francisco Javier |
|
2003
|
Functional plus logic programming with built-in and symbolic constraints. Zbl 0953.68033
Arenas-Sánchez, Puri; López-Fraguas, F. J.; Rodríguez-Artalejo, M. |
|
1999
|
Failure and equality in functional logic programming. Zbl 1270.68061
López-Fraguas, F. J.; Sánchez-Hernández, J. |
|
2003
|
Polymorphic types in Erlang function specifications. Zbl 1475.68066
López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan |
|
2016
|
Rewriting and narrowing for constructor systems with call-time choice semantics. Zbl 1286.68265
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime |
|
2014
|
New results on type systems for functional logic programming. Zbl 1274.68045
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan |
|
2010
|
A fully abstract semantics for constructor systems. Zbl 1242.68137
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime |
|
2009
|
Rewriting and call-time choice: The HO case. Zbl 1137.68338
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime |
|
2008
|
Extra variables can be eliminated from functional logic programs. Zbl 1278.68063
de Dios Castro, Javier; López-Fraguas, Francisco J. |
|
2007
|
A new generic scheme for functional logic programming with constraints. Zbl 1115.68048
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael |
|
2007
|
Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051
López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J. |
|
2007
|
Constraint functional logic programming revisited. Zbl 1272.68078
López-Fraguas, F. Javier; Rodríguez-Artalejo, Mario; del Vado Vírseda, Rafael |
|
2005
|
A proof theoretic approach to failure in functional logic programming. Zbl 1085.68021
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime |
|
2004
|
Improving deterministic computations in lazy functional logic languages. Zbl 1034.68016
Caballero, Rafael; López-Fraguas, Francisco Javier |
|
2003
|
Failure and equality in functional logic programming. Zbl 1270.68061
López-Fraguas, F. J.; Sánchez-Hernández, J. |
|
2003
|
Narrowing failure in functional logic programming. Zbl 1019.68018
López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime |
|
2002
|
Dynamic-cut with definitional trees. Zbl 1019.68513
Caballero, Rafael; López-Fraguas, Francisco Javier |
|
2002
|
Theoretical foundations for the declarative debugging of lazy functional logic programs. Zbl 0977.68510
Caballero, Rafael; López-Fraguas, Francisco J.; Rodríguez-Artalejo, Mario |
|
2001
|
Functional logic programming with failure: a set-oriented view. Zbl 1275.68047
López-Fraguas, F. J.; Sánchez-Hernández, J. |
|
2001
|
Proving failure in functional logic programs. Zbl 0983.68503
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime |
|
2000
|
An approach to declarative programming based on a rewriting logic. Zbl 0942.68060
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M. |
|
1999
|
A functional-logic perspective of parsing. Zbl 0988.68524
Caballero, Rafael; López-Fraguas, Francisco J. |
|
1999
|
Functional plus logic programming with built-in and symbolic constraints. Zbl 0953.68033
Arenas-Sánchez, Puri; López-Fraguas, F. J.; Rodríguez-Artalejo, M. |
|
1999
|
A demand driven computation strategy for lazy narrowing. Zbl 0791.68021
Loogen, Rita; López Fraguas, Francisco; Rodríguez-Artalejo, Mario |
|
1993
|