 | 2009 |
|---|
| 10 |       | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A flexible framework for programming with non-deterministicfunctions.
PEPM 2009: 91-100 |
| 9 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A Fully Abstract Semantics for Constructor Systems.
RTA 2009: 320-334 |
| 8 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A Lightweight Combination of Semantics for Non-deterministic Functions
CoRR abs/0903.2205: (2009) |
| 7 | | Francisco Javier López-Fraguas,
Stephan Merz,
Juan Rodríguez-Hortalá:
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
CoRR abs/0908.0494: (2009) |
| 2008 |
|---|
| 6 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Rewriting and Call-Time Choice: The HO Case.
FLOPS 2008: 147-162 |
| 5 | | Juan Rodríguez-Hortalá:
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.
FSTTCS 2008 |
| 4 | | Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Functions and Lazy Evaluation in Prolog.
Electr. Notes Theor. Comput. Sci. 206: 153-174 (2008) |
| 2007 |
|---|
| 3 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.
INAP/WLP 2007: 206-222 |
| 2 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A simple rewrite notion for call-time choice semantics.
PPDP 2007: 197-208 |
| 1 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Equivalence of Two Formal Semantics for Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 188: 117-142 (2007) |
