2009 |
7 | EE | 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 |
6 | EE | 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) |
2008 |
5 | EE | 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 |
4 | EE | Juan Rodríguez-Hortalá:
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.
FSTTCS 2008 |
3 | EE | 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 |
2 | EE | 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 | EE | 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) |