Searching for authors named "Rafael Caballero" – sorted by Relevance.
-
DDT: a Declarative Debugging Tool for Functional-Logic Languages
- DDT : A Declarative Debugging Tool for Functional-Logic Languages Rafael Caballero and Mario
- Cited by 7 (4 self) – Add To MetaCart
-
Improving deterministic computations in lazy functional logic languages
- Improving Deterministic Computations in Lazy Functional Logic Languages Rafael Caballero
- Cited by 1 (1 self) – Add To MetaCart
-
Dynamic-cut with definitional trees, in
- Dynamic-Cut with Definitional Trees Rafael Caballero and Francisco J. López-Fraguas Dpto. de
- Cited by 2 (1 self) – Add To MetaCart
-
A Declarative Debugger of Wrong Answers for Lazy Functional Logic Programs
- A Declarative Debugger of Wrong Answers for Lazy Functional Logic Programs Rafael Caballero
- Cited by 1 (0 self) – Add To MetaCart
-
Departamento de Sistemas Informáticos y Computación,
- Declarative Debugging of Maude Modules ∗ Adrián Riesco, Alberto Verdejo, Rafael Caballero
- Add To MetaCart
-
Declarative Debugging of Maude Modules
- Declarative Debugging of Maude Modules ∗ Adrián Riesco, Alberto Verdejo, Rafael Caballero
- Add To MetaCart
-
Constraint solving for generating glass-box test cases
- Constraint Solving for Generating Glass-Box Test Cases Christoph Lembeck 1 , Rafael Caballero 2
- Cited by 2 (1 self) – Add To MetaCart
-
Functional-Logic Parsers In TOY
- FUNCTIONAL-LOGIC PARSERS IN T OY Rafael Caballero Rold'an - Francisco J. L'opez Fraguas
- Add To MetaCart
-
Vado-Vírseda. Declarative debugging of missing answers in constraint functional-logic programming
- Caballero, Mario Rodríguez Artalejo, and Rafael del Vado Vírseda ⋆ Dep. Sistemas Informáticos y Computación
- Cited by 2 (2 self) – Add To MetaCart
-
SSPMO: A scatter tabu search procedure for non-linear multiobjective optimization
- , MANUEL LAGUNA 2 , RAFAEL MARTÍ 3 AND RAFAEL CABALLERO 1 1 Universidad de Málaga, Spain, {julian
- Cited by 1 (0 self) – Add To MetaCart

