BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Almendros-Jim=eacute=nez:Jes=uacute=s_Manuel

Contributed to:

CIKM 20112011
LOPSTR 20112011
IFL 20062006
PADL 20052005
FLOPS 20012001
ICLP 20012001
ALP/HOA 19971997
ALP 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.