 | 1998 |
|---|
| 11 |       | Farid Ajili,
Hendrik C. R. Lock:
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.
PLILP/ALP 1998: 463-480 |
| 10 |  | Manuel M. T. Chakravarty,
Yike Guo,
Martin Köhler,
Hendrik C. R. Lock:
GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Sci. Comput. Program. 30(1-2): 157-199 (1998) |
| 1997 |
|---|
| 9 | | Manuel M. T. Chakravarty,
Hendrik C. R. Lock:
Towards the Uniform Implementation of Declarative Languages.
Comput. Lang. 23(2-4): 121-160 (1997) |
| 1995 |
|---|
| 8 | | Manuel M. T. Chakravarty,
Yike Guo,
Martin Köhler,
Hendrik C. R. Lock:
Co-ordinating Parallel Computation through Equational Constraints.
WLP 1995: 123-132 |
| 7 | | Silvia Breitinger,
Hendrik C. R. Lock:
Using Constraint Logic Programming for Industrial Scheduling Problems.
Logic Programming: Formal Methods and Practical Applications 1995: 273-299 |
| 1994 |
|---|
| 6 | | Manuel M. T. Chakravarty,
Hendrik C. R. Lock:
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.
ICLP Workshop: Integration of Declarative Paradigms 1994: 61-75 |
| 5 | | Silvia Breitinger,
Hendrik C. R. Lock:
Improving Search for Job-Shop Scheduling with CLP(FD).
PLILP 1994: 277-291 |
| 1993 |
|---|
| 4 | | Hendrik C. R. Lock:
Residuation with Type Constraints is Complete.
WLP 1993: 60-63 |
| 1991 |
|---|
| 3 | | Hendrik C. R. Lock:
A Systematic Method for Designing Abstract Narrowing Machines.
Declarative Programming 1991: 188-203 |
| 2 | | Manuel M. T. Chakravarty,
Hendrik C. R. Lock:
The Implementation of Lazy Narrowing.
PLILP 1991: 123-134 |
| 1 | | Roland Dietrich,
Hendrik C. R. Lock:
Exploiting Non-Determinism through Laziness in Guarded Functional Languages.
TAPSOFT, Vol.2 1991: 201-216 |
