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 × Germany
1 × Italy
1 × Spain
Collaborated with:
F.Ajili S.Breitinger M.M.T.Chakravarty R.Dietrich
Talks about:
lazi (2) diophantin (1) constraint (1) implement (1) function (1) determin (1) schedul (1) languag (1) exploit (1) complet (1)

Person: Hendrik C. R. Lock

DBLP DBLP: Lock:Hendrik_C=_R=

Contributed to:

ALP/PLILP 19981998
PLILP 19941994
PLILP 19911991
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 4 papers:

ALP-PLILP-1998-AjiliL #constraints #linear
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems (FA, HCRL), pp. 463–480.
PLILP-1994-BreitingerL #scheduling
Improving Search for Job-Shop Scheduling with CLP(FD) (SB, HCRL), pp. 277–291.
PLILP-1991-ChakravartyL #implementation #lazy evaluation
The Implementation of Lazy Narrowing (MMTC, HCRL), pp. 123–134.
CCPSD-1991-DietrichL #functional #lazy evaluation #nondeterminism
Exploiting Non-Determinism through Laziness in Guarded Functional Languages (RD, HCRL), pp. 201–216.

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.