Travelled to:1 × Cyprus
1 × Denmark
1 × Germany
1 × Hungary
1 × Japan
1 × USA
2 × United Kingdom
Collaborated with:A.Becerra-Terón A.Gil-Luezas G.Vidal A.Corral J.Silva S.Tamarit J.Sánchez-Hernández A.Gavilanes-Franco R.Caballero Y.García-Ruiz F.Sáenz-Pérez
Talks about:function (5) logic (4) program (3) queri (2) order (2) type (2) sort (2) constraint (1) polymorph (1) framework (1)
Person: Jesús Manuel Almendros-Jiménez
DBLP: Almendros-Jim=eacute=nez:Jes=uacute=s_Manuel
Contributed to:
2011
2011
2006
2005
2001
2001
19971996Wrote 8 papers:
- CIKM-2011-Almendros-JimenezST #optimisation #slicing #xquery
- XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
- LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery
- A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
- IFL-2006-Almendros-JimenezV #automation
- Automatic Partial Inversion of Inductively Sequential Functions (JMAJ, GV), pp. 253–270.
- PADL-2005-Almendros-JimenezC #constraints #set
- Solving Constraints on Sets of Spatial Objects (JMAJ, AC), pp. 158–173.
- FLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code
- A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.
- ICLP-2001-Almendros-JimenezBS #database #deduction #functional #logic
- A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.
- ALP-1997-Almendros-JimenezG #lazy evaluation #order #parametricity
- Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.
- ALP-1996-Almendros-JimenezGG #algebra #functional #logic programming #order #polymorphism #semantics
- Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types (JMAJ, AGF, AGL), pp. 299–313.