 | 2009 |
|---|
| 21 |       | Rafael del Vado Vírseda:
An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation.
CSEDU (2) 2009: 27-32 |
| 20 |  | Rafael del Vado Vírseda,
Pablo Fernández,
Salvador Muñoz,
Antonio Murillo:
An Intelligent Tutoring System for Interactive Learning of Data Structures.
ICCS (2) 2009: 53-62 |
| 19 | | Rafael del Vado Vírseda:
A higher-order logical framework for the algorithmic debugging and verification of declarative programs.
PPDP 2009: 49-60 |
| 18 | | Sonia Estévez Martín,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda,
Fernando Sáenz-Pérez,
Antonio J. Fernández:
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR abs/0904.2136: (2009) |
| 17 | | Sonia Estévez Martín,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda,
Fernando Sáenz-Pérez,
A. J. Fernández:
On the cooperation of the constraint domains , R, and F in CFLP.
TPLP 9(4): 415-527 (2009) |
| 2008 |
|---|
| 16 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS 2008: 305-321 |
| 15 | | Clara Segura,
Isabel Pita,
Rafael del Vado Vírseda,
Ana Isabel Saiz,
Pablo Soler:
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS (1) 2008: 800-809 |
| 14 | | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Cooperation of constraint domains in the TOY system.
PPDP 2008: 258-268 |
| 2007 |
|---|
| 13 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP 2007: 425-427 |
| 12 | | Rafael del Vado Vírseda:
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.
ICTAC 2007: 169-184 |
| 11 | | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007) |
| 10 | | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007) |
| 9 | | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A new generic scheme for functional logic programming with constraints.
Higher-Order and Symbolic Computation 20(1-2): 73-122 (2007) |
| 8 | | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Constraint functional logic programming over finite domains.
TPLP 7(5): 537-582 (2007) |
| 2006 |
|---|
| 7 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP 2006: 421-422 |
| 6 | | Antonio J. Fernández,
Maria Teresa Hortalá-González,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Constraint Functional Logic Programming over Finite Domains
CoRR abs/cs/0601071: (2006) |
| 2005 |
|---|
| 5 | | Rafael del Vado Vírseda:
Declarative Constraint Programming with Definitional Trees.
FroCos 2005: 184-199 |
| 4 | | Sonia Estévez Martín,
Rafael del Vado Vírseda:
Designing an efficient computation strategy in CFLP(FD) using definitional trees.
WCFLP 2005: 23-31 |
| 3 | | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Constraint Functional Logic Programming Revisited.
Electr. Notes Theor. Comput. Sci. 117: 5-50 (2005) |
| 2004 |
|---|
| 2 | | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A lazy narrowing calculus for declarative constraint programming.
PPDP 2004: 43-54 |
| 2003 |
|---|
| 1 | | Rafael del Vado Vírseda:
A demand-driven narrowing calculus with overlapping definitional trees.
PPDP 2003: 253-263 |
