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: Lock:Hendrik_C=_R=
Contributed to:
199819941991
1991Wrote 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.