Travelled to:1 × Belgium
1 × Denmark
1 × Estonia
1 × France
1 × Greece
1 × Portugal
1 × Spain
1 × Sweden
1 × Switzerland
2 × Germany
2 × Italy
3 × USA
4 × Japan
Collaborated with:R.Caballero M.T.Hortalá-González R.d.V.Vírseda F.J.López-Fraguas C.A.Romero-Díaz J.C.G.Moreno J.J.Moreno-Navarro P.Arenas-Sánchez R.Loogen H.Kuchen J.Mateos-Lago J.Leach S.Nieva A.Gavilanes-Franco F.Lucio-Carrasco S.E.Martín A.J.Fernández F.Sáenz-Pérez
Talks about:logic (22) program (20) function (18) constraint (9) declar (9) narrow (6) lazi (6) semant (5) languag (3) algebra (3)
Person: Mario Rodríguez-Artalejo
DBLP: Rodr=iacute=guez-Artalejo:Mario
Facilitated 5 volumes:
Ed
Ed
EdEd
EdContributed to:
20102009200820082007200620042004
200520072001199919971997
1996199619931992199219911990199019881985
1997Wrote 29 papers:
- ICLP-J-2010-Rodriguez-ArtalejoR #declarative #proximity #semantics
- A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.
- ICLP-2009-CaballeroRR #functional #logic programming
- Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
- FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming
- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
- FLOPS-2008-Rodriguez-ArtalejoR #logic programming #revisited
- Quantitative Logic Programming Revisited (MRA, CARD), pp. 272–288.
- PPDP-2008-CaballeroRR #logic programming #reasoning #similarity
- Similarity-based reasoning in qualified logic programming (RC, MRA, CARD), pp. 185–194.
- 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.
- FLOPS-2004-CaballeroR #debugging #declarative #functional #named
- DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.
- 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.
- FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code
- Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.
- FLOPS-1999-Gonzalez-MorenoHR #functional #logic programming #semantics
- Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.
- ICLP-1997-Gonzalez-MorenoHR #functional #higher-order #logic programming
- A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.
- ILPS-1997-Arenas-SanchezR #algebra #calculus #functional #lazy evaluation #logic programming #polymorphism
- A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 53–67.
- ILPS-1997-LeachNR #constraints #logic programming
- Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.
- ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming
- A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.
- PLILP-1996-Mateos-LagoR #algebra #inheritance #specification
- GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies (JML, MRA), pp. 62–76.
- PLILP-1993-LoogenFR #lazy evaluation
- A Demand Driven Computation Strategy for Lazy Narrowing (RL, FJLF, MRA), pp. 184–200.
- CSL-1992-Gavilanes-FrancoLR #higher-order #reasoning
- Reasoning with Higher Order Partial Functions (AGF, FLC, MRA), pp. 167–181.
- CSL-1992-Gonzalez-MorenoHR #functional #logic programming #on the #semantics
- On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming (JCGM, MTHG, MRA), pp. 216–230.
- JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic
- Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
- CSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics
- Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.
- ALP-1990-Moreno-NavarroKLR #graph #lazy evaluation
- Lazy Narrowing in a Graph Machine (JJMN, HK, RL, MRA), pp. 298–317.
- ESOP-1990-KuchenLMR #functional #graph #implementation #logic
- Graph-based Implementation of a Functional Logic Langugage (HK, RL, JJMN, MRA), pp. 271–290.
- ALP-1988-Moreno-NavarroR #functional #logic programming #named #programming language
- BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing (JJMN, MRA), pp. 223–232.
- ICALP-1985-Hortala-GonzalezR #hoare #logic #nondeterminism #source code #standard #theorem
- Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem (MTHG, MRA), pp. 270–280.
- TAPSOFT-1997-Arenas-SanchezR #algebra #framework #functional #logic programming #polymorphism #semantics
- A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 453–464.