`Travelled to:`

1 × China

1 × Denmark

1 × Germany

1 × Hungary

1 × Italy

1 × Japan

1 × Spain

1 × Sweden

2 × Portugal

2 × USA

`Collaborated with:`

M.Rodríguez-Artalejo ∅ F.P.Morente R.Caballero F.J.López-Fraguas M.M.G.Toledo S.E.Martín A.J.Fernández M.T.Hortalá-González F.Sáenz-Pérez

`Talks about:`

program (10) constraint (9) logic (7) function (6) declar (6) semant (4) answer (3) verif (3) debug (3) tableaux (2)

## Person: Rafael del Vado Vírseda

### DBLP: V=iacute=rseda:Rafael_del_Vado

### Contributed to:

### Wrote 14 papers:

- CSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification
- A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
- ICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming #semantics
- A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.
- CSEET-2011-Virseda #education #learning #re-engineering #semantics
- A learning methodology based on semantic tableaux for software engineering education (RdVV), pp. 401–405.
- ITiCSE-2011-VirsedaM #debugging #education #semantics #source code #verification
- An innovative teaching tool based on semantic tableaux for verification and debugging of programs (RdVV, FPM), p. 352.
- PPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming #semantics
- A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.
- PPDP-2009-Virseda #algorithm #debugging #declarative #framework #higher-order #logic #source code #verification
- A higher-order logical framework for the algorithmic debugging and verification of declarative programs (RdVV), pp. 49–60.
- FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming
- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
- PPDP-2008-MartinFHRSV #constraints
- Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
- ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming
- Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.
- ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming
- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.
- PPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming
- A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.
- WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited
- Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.
- WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming
- A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
- PPDP-2003-Virseda #calculus
- A demand-driven narrowing calculus with overlapping definitional trees (RdVV), pp. 253–263.