BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Japan
Collaborated with:
S.Nieva J.M.Cleva F.J.López-Fraguas M.Rodríguez-Artalejo
Talks about:
program (4) logic (4) constraint (2) hereditari (1) function (1) approach (1) languag (1) formula (1) higher (1) harrop (1)

Person: Javier Leach

DBLP DBLP: Leach:Javier

Contributed to:

PPDP 20042004
FLOPS 20012001
ILPS 19971997

Wrote 3 papers:

PPDP-2004-ClevaLL #approach #functional #logic programming #source code #verification
A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.
FLOPS-2001-LeachN #constraints #higher-order #logic programming #programming language
A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
ILPS-1997-LeachNR #constraints #logic programming
Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.

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.