BibSLEIGH — Rafael_del_Vado

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:

2012

2011

2009

2008

2007

2006

2004

2005

2007

2003

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.