| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rafael del Vado Vírseda, Fernando Pérez Morente |
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs.  |
Procedia CS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda, Fernando Pérez Morente |
An innovative teaching tool based on semantic tableaux for verification and debugging of programs. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero |
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez |
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. |
CSEDU |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda, Fernando Pérez Morente |
A modular semantics for higher-order declarative programming with constraints. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
A learning methodology based on semantic tableaux for software engineering education. |
CSEE&T |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda, Luis Jimenez Paniagua, Jose Marcos Barrio, Ruben Fuentes Iglesias |
From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes. |
FECS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and Results. |
CSEDU |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
algorithmic schemes, data structures, computer science education |
| 1 | Rafael del Vado Vírseda |
A Logical Framework for Debugging in Declarative Constraint Programming. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 , R, and F in CFLP. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda, Pablo Fernández, Salvador Muñoz, Antonio Murillo |
An Intelligent Tutoring System for Interactive Learning of Data Structures. |
ICCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation. |
CSEDU |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
A higher-order logical framework for the algorithmic debugging and verification of declarative programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus |
| 1 | Rafael del Vado Vírseda, Ignacio Castiñeiras |
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. |
WFLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler |
Interactive Learning of Data Structures and Algorithmic Schemes. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
constraint domains and solvers, domain cooperation, functional and logic programming |
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
Logic programming, Constraints, Functional programming |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Constraint Functional Logic Programming Revisited. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael del Vado Vírseda |
Declarative Constraint Programming with Definitional Trees. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Estévez Martín, Rafael del Vado Vírseda |
Designing an efficient computation strategy in CFLP(FD) using definitional trees. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains |
| 1 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A lazy narrowing calculus for declarative constraint programming. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages |
| 1 | Rafael del Vado Vírseda |
A demand-driven narrowing calculus with overlapping definitional trees. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
rewrite systems, functional logic programming languages |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")