R. del Vado Vírseda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
A logical framework for debugging in declarative constraint programming Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
A concurrent operational semantics for constraint functional logic programming	2014-02-25	Paper
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
A proposal for the cooperation of solvers in constraint functional logic programming Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Constraint functional logic programming revisited	2013-09-20	Paper
Cooperation of algebraic constraint domains in higher-order functional and logic programming Algebraic Methodology and Software Technology	2011-01-21	Paper
A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions Functional and Constraint Logic Programming	2010-04-27	Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP Theory and Practice of Logic Programming	2009-10-19	Paper
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees Theoretical Aspects of Computing – ICTAC 2007	2008-09-17	Paper
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming Functional and Logic Programming	2008-04-11	Paper
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming Logic Programming	2008-03-11	Paper
Constraint functional logic programming over finite domains Theory and Practice of Logic Programming	2007-10-09	Paper
A new generic scheme for functional logic programming with constraints Higher-Order and Symbolic Computation	2007-05-21	Paper
Frontiers of Combining Systems Lecture Notes in Computer Science	2006-10-10	Paper

Research outcomes over time

This page was built for person: R. del Vado Vírseda